1.39/3.74	unsat
