accomplish maxsat with minisat