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