9.07/10.92	unsat
