Implemented 2Sat algorithm using Kasaraju's SCC finding algorithm