2006 SMT/General Problems/Problem 10