9.71/9.92	unsat
