0.07/1.14	unsat
