Integer Coloring Problem