Vasya has one account with the mobile operator Ratsvijk, with a balance of tugriks. (A tugrik is the currency in Vasya's country, where tugrik is one cent.) In addition, he has accounts on Etciudj, which are satellites of Ratsvijk. The -th Etciudj account has S_i tugriks on its balance. A new tariff plan has appeared in Ratsvijk, and Vasya wants to switch to it. To do so, he needs to have at least tugriks in his account. Vasya cannot top up his account and does not want to buy a new recharge. However, there is another way.
Ratsvijk allows money transfers between subscribers. A transfer is the action of sending a certain amount of money from one account to another. Only integer amounts of tugriks can be sent. The transfer fee is (10 cents), which is deducted from the account that sends the money. A transfer is only possible if, after it, at least tugriks remain on the sending account. Since Etciudj is a satellite of Ratsvijk, Etciudj accounts can also participate in these transfers.
Given , , and S_i (1 \leq i \leq n), determine whether it is possible to switch to the new tariff plan without buying a new top-up, and if so, find the minimum number of transfers required.
The first line contains the integer (0 \leq n \leq 1000), , and . The second line contains the numbers S_1, S_2, \dots, S_n separated by spaces. All , , and S_i (1 \leq i \leq n) are real numbers in the range with exactly two decimal places.
Output the minimum number of transfers needed to switch to the new tariff plan, or if it is not possible without buying a new top-up.
Example 1