0.88/1.14	unsat
