By the way, the twelve coin problem is a real classic -- my father told me it when I was about 10. Its easy enough to find a solution using Google, but as a courtesy to those who want to tough it out - please don't post a real solution here without the word "SPOILER" up front!
