2.54/3.74	unsat
