2.88/3.74	unsat
