number-three-coloring