map coloring expressed in constraint programming only