달지 않은 쿠키

심모 양은 앞으로 T분 동안 N번 음식을 먹을 예정이다. 각 음식은 먹는 시각 a_i로 주어진다.

김네마 실베스터 차 한 잔을 시각 x에 마시면, 그 시각부터 D분 동안 효과가 유지된다. 즉, x ≤ a_i < x + D인 시각에 먹는 음식에는 효과가 적용된다.

심모 양은 차를 최대 K잔까지 마실 수 있다. 여러 잔의 효과가 겹치더라도 같은 음식은 한 번만 센다. 차를 마시는 시각을 적절히 정해 효과가 적용되는 음식 횟수의 최댓값을 구하라.

첫째 줄에 네 자연수 T, N, D, K가 주어진다. (1 ≤ T ≤ 10^9, 1 ≤ N ≤ 10^6, 1 ≤ D ≤ 10^9, 1 ≤ K ≤ 10)

둘째 줄에 각 음식을 먹는 시각을 나타내는 N개의 자연수 a_1, a_2, ..., a_N이 주어진다. (1 ≤ a_i ≤ T)

차를 마시는 시각을 적절히 정했을 때 효과가 적용되는 음식 횟수의 최댓값을 출력한다.