ByNobleID
    3-coloring in time O(1.3289n) | NobleID