10.76/10.85	unsat
