ICPC 北美資格賽 (NAQ) 的徵題活動已經結束,總共收到了若干題目。評審們對每一道題目的難度進行了投票。今年的 NAQ 將會選用一定數量的題目。NAQ 希望選出的題目能包含盡可能多種不同的難度。請計算出所能達到的最大不同難度數量。
輸入格式
輸入的第一行包含兩個整數 $n$ 和 $k$ ($1 \le k \le n \le 50$)。NAQ 將會從 $n$ 道候選題目中精確選出 $k$ 道題目。
接下來的 $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