9.82/9.92	unsat
