simplify
sat/unsat testcases