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