Zakończył się nabór zadań do zawodów ICPC North America Qualifier (NAQ) i zaproponowano pewną liczbę zadań. Sędziowie ocenili trudność każdego z nich. W tym roku NAQ będzie zawierać określoną liczbę zadań. Organizatorzy NAQ chcą, aby wybrane zadania miały jak największą liczbę unikalnych poziomów trudności. Oblicz maksymalną możliwą liczbę unikalnych poziomów trudności.

Wejście

W pierwszej linii wejścia znajdują się dwie liczby całkowite $n$ oraz $k$ ($1 \le k \le n \le 50$). NAQ wykorzysta dokładnie $k$ zadań spośród $n$ zaproponowanych.

Każda z kolejnych $n$ linii zawiera pojedynczą liczbę całkowitą $d$ ($1 \le d \le 50$). Są to poziomy trudności $n$ zaproponowanych zadań.

Wyjście

Wypisz pojedynczą liczbę całkowitą, która jest maksymalną liczbą unikalnych poziomów trudności, jakie może zawierać zestaw zadań NAQ.

Przykład

Wejście 1

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

Wyjście 1

15