Zaslat SMS: Map coloring, polyhedra, and the four-color problem