남규회사를 운영하는 사장 zych는 직원을 혹독하게 부리기로 유명하다. 오늘도 zych는 직원을 어떻게 더 굴릴지 궁리하고 있다.
회사에 들어온 일은 n개이고, 일마다 마감 기한이 정해져 있다. 기한을 넘기면 계약금을 물어야 하므로 n개를 모두 끝내야 한다. 그런데 한 일에 너무 적은 시간을 들이면 결과물의 품질이 떨어지기 때문에 zych는 직원이 일하는 시간을 최대한 늘리려 한다. 일마다 걸리는 시간이 다르면 직원이 혼란스러워하므로, 모든 일에 정확히 k시간씩 쓰게 한다.
일은 시각 0에 시작해서 한 번에 하나씩, 쉬는 구간 없이 이어서 처리한다. 마감 기한이 Ai인 일은 시각 Ai 이하에서 끝나야 한다. 일을 처리하는 순서는 마음대로 정한다.
n개의 마감 기한이 주어질 때, 모든 일을 기한 안에 끝낼 수 있는 가장 큰 정수 k를 출력하시오.