C. Жалюзи
ограничение по времени на тест
2 seconds
ограничение по памяти на тест
256 megabytes
ввод
стандартный ввод
вывод
стандартный вывод

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

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

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

Таким образом, если жалюзи состоят из k частей длины d каждая, то она имеет вид прямоугольника k × d бурльметров.

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

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

В первой строке входных данных находятся два целых числа, записанных через пробел, n и l (1 ≤ n, l ≤ 100) — количество полос на складе и минимальная допустимая длина части жалюзи в бурльметрах. Во второй строке через пробел записаны n целыx чисел ai — длины исходных полос в бурльметрах (1 ≤ ai ≤ 100).

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

Выведите единственное целое число — максимальную площадь окна в квадратных бурльметрах, которую можно закрыть полностью. Если не существует окна положительной площади, которое можно закрыть полностью, не нарушив никакое из описанных правил, то выведите единственное число 0.

Примеры
Входные данные
4 2
1 2 3 4
Выходные данные
8
Входные данные
5 3
5 5 7 3 1
Выходные данные
15
Входные данные
2 3
1 2
Выходные данные
0
Примечание

В первом тесте из условия, искомое окно имеет размеры 2 × 4, а жалюзи для него состоят из 4 частей по 2 бурльметра каждая. Одна из частей — это исходная полоса длины 2, другая — часть обрезанной полосы длины 3, а две оставшиеся — части разрезанной пополам полосы длины 4.