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