unsat
unsat
unsat
unsat
sat
sat
sat
sat