In this example, S={s,a} and S'={s,a,b,c} are min-cuts, but via bfs/dfs as you offered, b and d vertices are unreachable because the cost of edge (a,b) = 0.