Atcoder Educational DP Contest I - Coins