Задача 7L. Шулерские кости ≡

Условие

Поиздержавшись в дороге, Избранный испытывает удачу в казино "Десперадо". Правила игры за столом чрезвычайно просты — каждый из игроков выбрасывает n обычных игральных кубиков с нанесёнными на их стороны числами от 1 до 6 (их принято располагать так, что сумма чисел на противоположных сторонах равняется 7). Кто выбросит большую сумму очков на верхних гранях, тот и победил.

Также у Избранного есть показатель удачливости m, благодаря которому он (незаметно для окружающих) ровно m раз переворачивает кубики на противоположную грань, стараясь максимально улучшить свой результат (можно переворачивать один и тот же кубик или разные). Предскажите результат Избранного.

Формат входных данных

Первая строка входного файла содержит два натуральных числа, записанных через пробел: n — количество кубиков и m — количество переворотов. Во второй строке через пробел записаны n чисел a_i — выпавшие значения на верхних гранях кубиков.

Формат выходных данных

Выведите одно натуральное число — наибольшую сумму выпавших очков после m переворотов.

Ограничения

1 ≤ m ≤ n ≤ 100000.

1 ≤ a_i ≤ 6.

Система оценки и описание подзадач

Баллы за каждый тест начисляются независимо.

Решения, верно работающие при m = 1 и 1 ≤ n ≤ 10, получат не менее 20 баллов.

Решения, верно работающие при 1 ≤ m ≤ 10 и 1 ≤ n ≤ 250, получат не менее 60 баллов.

Пояснения к примерам

В первом примере Избранный выбросил пятерку на единственном кубике и переворачивает его один раз на противоположную сторону — двойку. Увы, результат лишь ухудшился...

Во втором примере Избранный поменяет единицу на шестерку на втором кубике и два раза перевернет первый кубик, оставив на нём исходную тройку. Это даст ему максимально возможные для данного начального расположения 14 очков.

Примеры тестов

1 1
5

2

3 3
3 1 5

14