0.10/0.14	unsat
