0.08/0.14	unsat
