0.29/1.88	unsat
