0.67/0.72	unsat
