The Minimum Satisfiability Problem