9.82/12.14	unsat
