c an ALC problem
p cnf 7 12
1 2 0
3 2 0
1 4 0
3 4 0
5 2 0
6 2 0
5 4 0
6 4 0
-1 -5 0
-1 -6 0
-7 -4 0
-2 -4 0