The australian map coloring, the sin plus more equals money. Maybe some more realistic problems after that. Yet what's cool about those problems is how we can think about them altogether as really one problem solving technique. A constraint satisfaction problem solver can solve this problem, but it can also solve any other kind of problem that we can define using variables, domains and constraints.