Transfer

Vasya has one account with the mobile operator Ratsvijk, with a balance of $B$ tugriks. (Tugrik is the currency in Vasya's country, where 0.01 tugrik is one cent). Additionally, he has $n$ accounts on Etciudj, which are satellites of Ratsvijk. The $i$-th Etciudj package has $S_i$ tugriks on its account. A new tariff plan has appeared on Ratsvijk, and Vasya wants to switch to it. For this, he needs to have at least $R$ tugriks on his account. Vasya is not able to top up his account, so he does not want to buy a new recharge. But there is another way out.

Ratsvijk provides the ability to transfer money between subscribers. A transfer is sending a certain amount of money from one account to another. Only whole amounts of tugriks can be sent. The transfer fee is 10 cents, which is deducted from the account from which the money was sent. A transfer is possible only if, after it, there will be at least 5 tugriks remaining on the account. Since Etciudj is a satellite of Ratsvijk, Etciudj subscribers can also participate in these transfers.

Given $B$, $R$, and $S_i$ ($1\le i\le n$), determine if it is possible to switch to the new tariff plan without buying a new top-up for the account, and if so, find the minimum number of transfers required for this.

Input

The first line contains an integer $n$ ($0\le n\le 1000$), $B$, and $R$. In the second line, the numbers $S_1,S_2,\dots ,S_n$ are given, separated by spaces. All numbers $B$, $R$, $S_i$ ($0\le i\le n$) are real numbers in the range $[0.01,10000.00]$ with exactly two decimal places.

Output

Output the minimum number of transfers required to switch to the new tariff plan, or $-1$ if it is impossible without buying a new top-up for the account.

Examples