0.69/0.72	unsat
