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