8.14/9.70	unsat
