2SAT_SCC