10.67/10.85	unsat
