HKIMO 2019 Grade 4 National Final (Heat) Set 02 Question 24

Andy has 15 coins of denominations 1 dollar, 2 dollars and 5 dollars, worth 64 dollars altogether. How many 1-dollar coins does he have?