[math-fun] Grunch puzzle