[math-fun] Asimov's group-metric puzzle