8.25/9.70	unsat
