RE: 12 coins puzzle