A. Деву-певец и Чуру-комик
ограничение по времени на тест
1 секунда
ограничение по памяти на тест
256 мегабайт
ввод
stdin
вывод
stdout

Деву — известный исполнитель классической музыки. Его приглашают на многие большие фестивали и мероприятия. Недавно его пригласили на «всемирный фестиваль классического пения». Кроме Деву пригласили и комика Чуру.

Деву предоставил организаторам список песен и список времен, необходимых для их исполнения. Всего он будет петь n песен, i-я песня займет ровно ti минут. Комик Чуру будет рассказывать шутки. Все его шутки длятся ровно по пять минут.

Большинство людей придут на фестиваль послушать Деву. К сожалению, Деву требуется 10-минутный перерыв для отдыха после каждой песни. К счастью, Чуру может рассказывать шутки, не отдыхая.

Вы, как один из организаторов, должны составить оптимальное расписание для меропрития. По некоторым причинам надо соблюдать следующие условия:

  • продолжительность мероприятия не должна превышать d минут;
  • Деву должен спеть полностью все свои песни, при этом количество рассказанных Чуру шуток должно быть как можно больше.

Если невозможно найти способ спланировать мероприятие, чтобы Деву спел все свои песни, выведите -1. В противном случае, выведите максимальное количество шуток, которые Чуру сможет рассказать на мероприятии.

Входные данные

В первой строке записано два целых числа через пробел — n, d (1 ≤ n ≤ 100; 1 ≤ d ≤ 10000). Во второй строке записано n целых чисел через пробел: t1, t2, ..., tn (1 ≤ ti ≤ 100).

Выходные данные

Если невозможно найти способ спланировать мероприятие, чтобы Деву спел все свои песни, выведите -1. В противном случае выведите максимальное количество шуток, которые Чуру сможет рассказать на мероприятии.

Примеры
Входные данные
3 30
2 2 1
Выходные данные
5
Входные данные
3 20
2 1 1
Выходные данные
-1
Примечание

Рассмотрим первый пример. Длительность мероприятия составляет 30 минут. Можно составить план мероприятия, в котором у Чуру будет 5 шуток, следующим образом:

  • Сначала Чуру рассказывает шутку 5 минут.
  • Затем Деву поет первую песню 2 минуты.
  • Затем Чуру рассказывает 2 шутки за 10 минут.
  • Затем Деву поет следующую песню за 2 минуты.
  • Затем Чуру рассказывает 2 шутки за 10 минут.
  • И наконец Деву поет свою последнюю песню за 1 минуту.

В целом ребята тратят 5 + 2 + 10 + 2 + 10 + 1 = 30 минут. Получить больше шуток никак не получится.

Рассмотрим второй пример. Здесь мы никак не можем организовать все песни Деву. Следовательно, ответ равен -1.