8.06/9.92	unsat
