Random Minimum Satisfiability Adalah