9.67/9.70	unsat
