8.70/9.82	unsat
