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