assignment 6. 2Sat problem satisfiability check using SCC algorithm.