c an ALC problem
p cnf 11 36
-1 -2 -3 3 -4 -5 0
-1 -2 -3 3 -6 -5 0
-1 -2 -3 3 -7 -5 0
-1 -8 -3 3 -4 -5 0
-1 -8 -3 3 -6 -5 0
-1 -8 -3 3 -7 -5 0
-1 -9 -3 3 -4 -5 0
-1 -9 -3 3 -6 -5 0
-1 -9 -3 3 -7 -5 0
-1 -2 -3 3 -4 -10 0
-1 -2 -3 3 -6 -10 0
-1 -2 -3 3 -7 -10 0
-1 -8 -3 3 -4 -10 0
-1 -8 -3 3 -6 -10 0
-1 -8 -3 3 -7 -10 0
-1 -9 -3 3 -4 -10 0
-1 -9 -3 3 -6 -10 0
-1 -9 -3 3 -7 -10 0
-1 -2 -3 3 -4 -11 0
-1 -2 -3 3 -6 -11 0
-1 -2 -3 3 -7 -11 0
-1 -8 -3 3 -4 -11 0
-1 -8 -3 3 -6 -11 0
-1 -8 -3 3 -7 -11 0
-1 -9 -3 3 -4 -11 0
-1 -9 -3 3 -6 -11 0
-1 -9 -3 3 -7 -11 0
1 0
8 0
3 0
-3 0
3 0
4 0
5 0
10 0
11 0