小明有1元和5角的硬币共13枚这些硬币的总币值大于8.5元小名至少有多少枚1元的硬币