0.60/1.78	unsat
