2SAT using Kosaraju
2SAT using Kosaraju