8.96/9.92	unsat
