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