DFS+SCC
new scc