unsat
unsat
unsat
sat
unsat
unsat
sat
sat