Solving 2SAT problem using SCC