A second CNF thing repo, deals with the coloring problem. A pain.