0.49/1.78	unsat
