Maximum Satisfiability Problem