Logic puzzle: 9 balls, one is heavier, what is the minimum number of weighings on a balance scale?