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