“12 ball problem,” which involves a dozen balls of the same size and color. One is heavier or lighter than the others. The challenge is to put the balls on a scale and figure out, in only three weighings, which of them is different, and whether it’s heavier or lighter. It took Bucher 12 hours to crack the problem; a brainy CT named Charles Ayling solved it in 60 minutes.”