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