10.47/10.92	unsat
