c an ALC problem p cnf 6 10 1 2 0 3 2 0 -4 4 0 -5 0 -1 -6 4 5 0 -1 -3 4 5 0 -1 -6 -4 5 0 -1 -3 -4 5 0 -2 4 5 0 -2 -4 5 0