c an ALC problem
p cnf 1 5
1 -1 0
-1 0
1 0
-1 0
-1 0