SCC umgeschrieben und 2SAT-Solver hinzugefügt