Zaslat SMS: The four-color map problem.