Call for Problems, Round 2
면접 대비시간 제한1초메모리 제한2048 MB
제안된 n개 문제 중 정확히 k개를 골라 선택한 문제들의 난이도 값이 서로 다른 개수를 최대로 만들고, 그 최댓값을 출력한다.
문제
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 and (). NAQ will use exactly problems out of the proposed.
Each of the next lines contains a single integer (). These are the difficulties of the problems proposed.
출력
Output a single integer, which is the maximum number of unique difficulties that the NAQ can feature.