c an ALC problem p cnf 21 116 1 -2 3 0 1 -2 4 0 1 -2 5 0 1 -2 6 0 1 -2 7 0 1 -8 3 0 1 -8 4 0 1 -8 5 0 1 -8 6 0 1 -8 7 0 1 9 3 0 1 9 4 0 1 9 5 0 1 9 6 0 1 9 7 0 1 -10 3 0 1 -11 3 0 1 -12 3 0 1 -13 3 0 1 -10 4 0 1 -11 4 0 1 -12 4 0 1 -13 4 0 1 -10 5 0 1 -11 5 0 1 -12 5 0 1 -13 5 0 1 -10 6 0 1 -11 6 0 1 -12 6 0 1 -13 6 0 1 -10 7 0 1 -11 7 0 1 -12 7 0 1 -13 7 0 1 14 3 0 1 15 4 0 1 16 5 0 1 17 6 0 1 14 7 0 1 15 7 0 1 16 7 0 1 17 7 0 1 18 3 0 1 18 4 0 1 18 5 0 1 18 6 0 1 18 7 0 1 -8 3 0 1 -8 4 0 1 -8 5 0 1 -8 6 0 1 -8 7 0 -2 3 0 -2 4 0 -2 5 0 -2 6 0 -2 7 0 -2 -8 3 0 -2 -8 4 0 -2 -8 5 0 -2 -8 6 0 -2 -8 7 0 -2 9 3 0 -2 9 4 0 -2 9 5 0 -2 9 6 0 -2 9 7 0 -2 -10 3 0 -2 -11 3 0 -2 -12 3 0 -2 -13 3 0 -2 -10 4 0 -2 -11 4 0 -2 -12 4 0 -2 -13 4 0 -2 -10 5 0 -2 -11 5 0 -2 -12 5 0 -2 -13 5 0 -2 -10 6 0 -2 -11 6 0 -2 -12 6 0 -2 -13 6 0 -2 -10 7 0 -2 -11 7 0 -2 -12 7 0 -2 -13 7 0 -2 14 3 0 -2 15 4 0 -2 16 5 0 -2 17 6 0 -2 14 7 0 -2 15 7 0 -2 16 7 0 -2 17 7 0 -2 18 3 0 -2 18 4 0 -2 18 5 0 -2 18 6 0 -2 18 7 0 -2 -8 3 0 -2 -8 4 0 -2 -8 5 0 -2 -8 6 0 -2 -8 7 0 -1 2 0 2 8 -9 12 -18 0 2 8 -19 12 -18 0 2 8 -20 12 -18 0 2 8 -21 12 -18 0 -3 0 -4 0 -5 0 -6 0 -7 0