9.28/9.92	unsat
