https://123dok.net/document/q2n3w5w2-an-exact-method-for-graph-coloring.html