10.61/10.84	unsat
