Atcoder Problem I Coins