8.68/9.92	unsat
