0.88/1.10	unsat
