8.35/10.92	unsat
