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