1.67/2.74	unsat
