adding AC3_DFS