Прием заявок на задачи для отборочного этапа ICPC в Северной Америке (NAQ) завершен, и было предложено некоторое количество задач. Жюри проголосовало за сложность каждой задачи. В этом году NAQ будет включать определенное количество задач. Организаторы NAQ хотят включить в набор задачи с как можно большим количеством уникальных уровней сложности. Вычислите максимально возможное количество уникальных уровней сложности.

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

Первая строка входных данных содержит два целых числа $n$ и $k$ ($1 \le k \le n \le 50$). NAQ использует ровно $k$ задач из $n$ предложенных.

Каждая из следующих $n$ строк содержит одно целое число $d$ ($1 \le d \le 50$). Это уровни сложности $n$ предложенных задач.

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

Выведите единственное целое число — максимально возможное количество уникальных уровней сложности, которые может включить NAQ.

Примеры

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

20 19
43
4
19
27
34
7
12
34
44
36
38
38
39
34
30
35
44
47
39
5

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

15