Random Minimum Satisfiability Problem