speed improvement in graph coloring, by about %7