1.28/3.74	unsat
