Random Minimum Satisfiability Definition