2SAT solution using Kosarajus algorithm. Still haven't extracted exact solution, just check whether the problem is satisfiable or not.