После рабочего дня Иван пытается возвести вокруг своего участка новый забор.
Он уже подсчитал, что ему понадобится N досок одинаковой ширины и высоты. В сарае у Ивана нашлось M досок нужной ширины, но высота у них разная: у i-й доски она равна Xi сантиметров. Иван может распиливать имеющиеся доски, но только на куски целочисленной длины (на китайской рулетке Ивана не отмечены миллиметры).
Разумеется, Иван хочет, чтобы его новый забор был как можно выше. Помогите ему узнать, забор какой максимальной высоты он сможет построить из имеющихся у него досок.