Trạm không gian SPASTA có 𝑀 điểm đỗ cho các tàu. Các điểm đỗ được đánh số từ 1 đến 𝑀, mỗi điểm đỗ chỉ cho một tàu đỗ. Một đoàn tàu gồm 𝐾 tàu của hành tinh AZ xin được cập bến. Ban điều hành trạm thông báo, chi phí để tàu đỗ ở điểm đỗ thứ 𝑖 (1 ≤ 𝑖 ≤ 𝑀) là 𝑇 + 𝑖 đồng và hiện tại có 𝑛 điểm đỗ 𝑏1, 𝑏2, … , 𝑏𝑛(1 ≤ 𝑏1, 𝑏2, … , 𝑏𝑛 ≤ 𝑀) không được đỗ vì đã có tàu cập bến.

Yêu cầu: Cho 𝑀, 𝑛, 𝑏1, 𝑏2, … , 𝑏𝑛, hãy tính chi phí ít nhất để toàn bộ 𝐾 tàu của hành tinh AZ được cập bến hoặc đưa ra thông báo trạm không gian không thể đáp ứng yêu cầu cập bến của đoàn tàu.

Dữ liệu:

• Dòng đầu tiên chứa bốn số nguyên dương 𝑀, 𝐾, 𝑛 và 𝑇 (𝑇 ≤ 10^9);
• Dòng thứ hai gồm 𝑛 số 𝑏1, 𝑏2, … , 𝑏𝑛 là các điểm đỗ đã có tàu cập bến. Các số đôi một khác nhau và có giá trị trong đoạn [1, 𝑀].

Kết quả:

gồm một dòng chứa một số là chi phí ít nhất để toàn bộ 𝐾 tàu của hành tinh AZ được cập bến hoặc đưa ra số -1 nếu trạm không gian không thể đáp ứng yêu cầu cập bến của đoàn tàu.

Sample Input

10 2 4 10 
8 1 4 2

Sample Output

28

Ràng buộc:

Có 40% số test ứng với 40% số điểm của bài có: 𝑀 ≤ 10^3; 𝐾 = 1; 𝑛 ≤ 10^3; 
Có 30% số test khác ứng với 30% số điểm của bài có: 𝑀 ≤ 10^6; 𝐾 ≤ 10^6; 𝑛 ≤ 10^5; 
30% số test còn lại ứng với 30% số điểm của bài có: 𝑀 ≤ 10^9; 𝐾 ≤ 10^9; 𝑛 ≤ 10^5.