10.70/10.85	unsat
