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