有面值1元、5角的硬币一共12个,一共8.5元,两种硬币各几枚?