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