문제
농부 창호의 소는 올해 소의 해를 맞이하게 되어 기뻐하고 있다.
잘 알려진 사실로, 소의 해란 십이지의 자축인묘진사오미신유술해 중 축에 해당하며
12년 주기로 돌아오는 해이다.
덜 알려진 사실로, 소의 해마다 소들은 포탈을 이용하여 과거 또는 미래로 시간 여행이 가능하다는 사실이다.
농부 창호의 소는 올해 열린 포탈을 이용하여 N마리의 조상 소들을 만나고 싶어한다.
그러나 포탈을 자주 이용하게 되면 소들은 멀미를 하기 때문에 많아도 K번 까지만 포탈을 이용하고 싶다.
최대 K번 포탈을 이용하여 현재의 해로 돌아오는 최소 해를 출력하시오.
입력
첫 번째 줄에 조상 소의 수 N과 최대 포탈 이용 가능 수 K가 공백을 구분으로 주어진다. ( 1 <= N <= 65536 ) ( 1 <= K <= N )
그 다음 N개의 줄에 조상 소들이 몇 년 전에 살았는지 주어진다. ( 서로 다른 1 ~ 10^9 사이의 정수이며 소의 해에는 살지 않았다. )
출력
농부 창호의 소가 모든 조상 소들을 만나고 현재로 돌아오는 최소 해를 출력하시오.
예제
5 3
101
85
100
46
95
36
힌트
출처
USACO 2021 February Silver