10.06/10.92	unsat
