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