HKIMO 2017 Grade 4 National Final (Heat) Set 04 Question 23

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