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