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