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