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