8.36/9.70	unsat
