7.08/8.70	unsat
