Random Minimum Satisfiability