7.08/7.70	unsat
