시간 여행

천재 과학자 영실은 시간 여행의 가능성에 대한 그의 연구를 위한 실험을 계획했습니다. 그의 연구에 따르면, 소띠 해가 될 때마다 특별한 에너지가 발생하여 시간 여행을 할 수 있는 통로가 열린다고 합니다. 영실은 이 기회를 이용하여 $N$명의 자신의 조상들을 만나고 싶어합니다. $1 \leq N \leq 0x10000$ (N의 제한을 16진수로 쓴 것으로, 0x10000은 65536과 같습니다.)

오랜 시간 여행은 영실의 몸에 부담이 될 수 있어서 그는 최대 $K$ 번만 시간 여행을 하려고 합니다.  ($1 \leq K \leq N$). 

영실이 자신의 모든 조상들을 방문하고, 현재 연도로 돌아오기 위해서는 최소 몇 년이 걸리는지 최소 연도를 구하세요.

영실이 원하지 않는다면 어느 소의 해에서도 시간 여행을 할 필요는 없습니다. 시간 여행 통로는 각 소의 해의 첫 날과 서로 연결되므로, 예를 들어 영실이 시간 여행 통로로 여행 후 12년 동안 다음 시간 여행 통로를 기다리는 과정에서 정확히 12년을 소비합니다. 영실은 현재 소의 해의 첫 날에 모험을 시작하므로, 바로 시간 여행을 할 수 있습니다. 영실의 조상들은 소의 연도에 살지 않습니다.

(중국의 음력년의 주요 동물들은 12년 주기로 순환합니다: 소, 호랑이, 토끼, 용, 뱀, 말, 염소, 원숭이, 닭, 개, 돼지, 쥐, 그리고 다시 소. )

입력의 첫 번째 줄에는 $N$과 $K$가 주어집니다. 다음 $N$개의 줄에는 각각 $N$개의 서로 다른 정수가 포함됩니다. 이 정수들은 $1 \ldots 10^9$ 범위 내에 있고, 영실의 $N$명의 조상들이 각각 몇 년 전에 살았는지를 나타냅니다.

영실이 그의 모든 조상들을 방문하고 현재 연도로 돌아오는 데 걸리는 최소 연도를 출력하십시오.