34637번 - Call for Problems, Round 2 다국어

문제

The Call for Problems for the ICPC North America Qualifier (NAQ) has finished, and a number of problems were proposed. The judges voted on the difficulty of each problem. The NAQ this year will feature some number of problems. The NAQ wants to feature problems with as many unique difficulties of possible. Compute the maximum number of unique difficulties attainable.

입력

The first line of input contains two integers $n$ and $k$ (1ドル \le k \le n \le 50$). NAQ will use exactly $k$ problems out of the $n$ proposed.

Each of the next $n$ lines contains a single integer $d$ (1ドル \le d \le 50$). These are the difficulties of the $n$ problems proposed.

출력

Output a single integer, which is the maximum number of unique difficulties that the NAQ can feature.

제한

노트