c an ALC problem p cnf 5 8 1 -2 0 1 -3 0 -4 0 -5 0 -1 4 0 -1 5 0 2 4 0 2 5 0