10.76/10.83	unsat
