scc+dp(dfs)