MAX-SAT solver