Question 945567

I have 30 coins consisting of 5c coins and 20c coins. If the total value of the coins is $3.45, how many coins do I have?
<pre>
Number of coins: {{{highlight_green(system(17_5c_and,13_20c))}}}