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