SCC implementation of 2SAT