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