99.14/99.92	unsat
