Передача
Вася має один рахунок мобільного оператора Ратсвійк з балансом S0 тугриків. (Тугрик — це валюта в країні Васі, де 0.01 тугрика — це один цент). Крім того, у нього є n рахунків Еціудж, які є супутниками Ратсвійк. На рахунку i-го пакету Еціудж знаходиться Si тугриків. З'явився новий тарифний план на Ратсвійк, і Вася хоче на нього перейти. Для цього йому потрібно мати на рахунку щонайменше S тугриків. Вася не має можливості поповнити рахунок, тому він не хоче купувати нове поповнення. Але є інший вихід.
У Ратсвійк є можливість переказу грошей між абонентами. Переказ — це відправка певної суми грошей з одного рахунку на інший. Можна відправляти лише цілі суми тугриків, не менші за 5. Вартість переказу становить 10 центів, які знімаються з рахунку, з якого були відправлені гроші. Переказ можливий лише за умови, що після нього на рахунку залишиться щонайменше 5 тугриків. Оскільки Еціудж є супутником Ратсвійк, абоненти Еціудж також можуть брати участь у цих переказах.
Враховуючи S0, S, n, Si (1 ≤ i ≤ n), визначте, чи можливо перейти на новий тарифний план без купівлі нового поповнення рахунку, і якщо так, знайдіть мінімальну кількість переказів, необхідних для цього.
Вхідні дані
У першому рядку введення знаходиться ціле число n (0 ≤ n ≤ 1000), S0 і S. У другому рядку записані через пробіл числа S1, S2, …, Sn. Усі числа S, Si (0 ≤ i ≤ n) — дійсні числа з інтервалу [0.01, 10000.00] з точно двома знаками після десяткової точки.
Вихідні дані
Виведіть мінімальну кількість переказів, необхідних для переходу на новий тарифний план, або -1, якщо це неможливо без купівлі нового поповнення рахунку.