돼지와 함께하는 여정

농부 John은 마을 A 근처에서 돼지 농장을 운영하고 있으며, 마을 B에 사는 친구를 방문하려고 합니다. 마을 B로 가는 길에는 작은 마을이 n개 있는데, John은 가는 김에 돈을 벌기로 합니다. 그는 돼지 n마리를 데리고 출발하여 지나는 각 마을에서 돼지를 정확히 한 마리씩 팝니다.

마을마다 돼지고기 가격이 다릅니다. j번째 마을에서는 사람들이 돼지고기 1킬로그램을 p_j루블에 삽니다. 마을 A에서 j번째 마을까지 길을 따라 잰 거리는 d_j킬로미터입니다.

돼지들의 무게는 서로 다릅니다. 돼지고기 1킬로그램을 1킬로미터 운반하는 데는 추가 연료비로 t루블이 듭니다. 따라서 무게가 w인 돼지를 거리 d만큼 옮기는 데는 w·d·t루블이 들고, 그 돼지를 j번째 마을에서 팔면 w·p_j루블을 벌므로, 그 돼지 한 마리로 얻는 순이익은 w·(p_j − d_j·t)루블입니다.

John은 각 마을에서 돼지를 한 마리씩, 즉 돼지와 마을을 일대일로 대응시켜 모두 팔아야 합니다. 순이익의 합이 최대가 되도록 대응을 정했을 때 John이 얻을 수 있는 최대 총이익을 구하세요.

첫째 줄에 정수 n(1 ≤ n ≤ 1000)과 t(1 ≤ t ≤ 10^9)가 주어집니다. 둘째 줄에는 돼지들의 무게를 나타내는 n개의 정수 w_i(1 ≤ w_i ≤ 10^9)가 주어집니다. 셋째 줄에는 마을 A에서 각 마을까지의 거리를 나타내는 n개의 정수 d_j(1 ≤ d_j ≤ 10^9)가 주어집니다. 넷째 줄에는 각 마을의 돼지고기 가격을 나타내는 n개의 정수 p_j(1 ≤ p_j ≤ 10^9)가 주어집니다.

John이 각 마을에서 돼지를 정확히 한 마리씩 팔 때 얻을 수 있는 최대 총이익을 정수 하나로 출력하세요. 모든 돼지를 반드시 팔아야 하므로 이 값은 음수가 될 수도 있습니다.