10.87/10.92	unsat
