check for unsat