SCCS added, seperated from 2-SAT