0.66/1.25	unsat
