sat and unsat checked