VERIFIED BFS, NO CORRECT RESULTS FOR FLUX