9.17/10.92	unsat
