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