ICPC North America Qualifier (NAQ) の問題募集が終了し、いくつかの問題が提案されました。審査員は各問題の難易度を投票しました。今年の NAQ では、いくつかの問題が出題されます。NAQ は、可能な限り多くの異なる難易度の問題を出題したいと考えています。達成可能な異なる難易度の最大数を計算してください。

入力

入力の最初の行には、2つの整数 $n$ と $k$ ($1 \le k \le n \le 50$) が含まれます。NAQ は、提案された $n$ 問の問題のうち、ちょうど $k$ 問を使用します。

続く $n$ 行の各行には、1つの整数 $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