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