SoN + Graph Coloring