Maximum 2-satisfiability