0.06/0.14	unsat
