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