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