9.18/9.70	unsat
