8.98/9.92	unsat
