10.71/10.92	unsat
