Question 3Twenty coins are either $50$ cents or $1$ dollar, totalling $17.50$ dollars. How many are $50$-cent coins?