[Stanford#Assg#6]Corrected iterative DFS logic to fix 2-SAT solvability
issue