10.66/10.92	unsat
