0.68/1.25	unsat
