8.97/9.70	unsat
