MAX-SAT-solver