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