Max-SAT frontend for SCIP