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