print SAT/UNSAT for solvers