RE: Error in 12 Coins, 3 Weighings problem?