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