c an ALC problem
p cnf 15 35
-1 -2 3 4 -5 0
-1 -6 3 4 -5 0
-1 -7 3 4 -5 0
-1 -8 3 4 -5 0
-1 -3 3 4 -5 0
-1 9 3 4 -5 0
-1 10 3 4 -5 0
-1 11 3 4 -5 0
-1 12 3 4 -5 0
-1 -3 4 -5 0
13 3 -2 4 -5 0
13 3 -6 4 -5 0
13 3 -7 4 -5 0
13 3 -8 4 -5 0
13 3 -3 4 -5 0
13 3 9 4 -5 0
13 3 10 4 -5 0
13 3 11 4 -5 0
13 3 12 4 -5 0
13 3 -3 4 -5 0
1 -14 0
1 -13 0
1 -5 0
1 -15 0
1 -3 0
2 3 -12 0
6 3 -12 0
7 3 -12 0
8 3 -12 0
-3 3 0
-4 0
14 0
13 0
5 0
15 0