c Beispiel 2.64 aus der Vorlesung c p cnf 8 12 1 -5 -6 7 0 -1 2 -5 0 -1 -2 -3 -5 -6 0 1 2 -4 7 0 -4 -6 -7 0 3 -5 7 0 3 -4 -5 0 5 -6 0 5 4 -8 0 1 3 5 6 7 0 -7 8 0 -6 -7 -8 0