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