Đề bài

Trong đợt tổ chức đi tham quan danh lam thắng cảnh của thành phố Hồ Chí Minh cho hội thi Tin học trẻ, có ~N~ đoàn tham gia (đánh số từ ~1~ đến ~N~). Mỗi đoàn đi tham quan một địa điểm khác nhau. Đoàn thứ ~i~ đi tham quan địa điểm có cách Khách sạn Hoàng Đế ~d_i~ km ~(i = 1, 2, \dots, N)~.

Hội thi có ~M~ xe taxi đánh số từ ~1~ đến ~M~ ~(M \geq N)~ để phục vụ việc đưa các đoàn đi tham quan. Xe thứ ~j~ có mức tiêu thụ xăng là ~v_j~ đơn vị thể tích/km ~(j = 1, 2, \dots, M)~.

Yêu cầu: Hãy chọn ~N~ xe để phục vụ việc đưa các đoàn đi tham quan, xuất phát từ khách sạn Hoàng Đế, mỗi xe chỉ phục vụ một đoàn, sao cho tổng chi phí xăng cần sử dụng là ít nhất.

Input

Dữ liệu vào từ file văn bản "TRAVEL.INP":

• Dòng đầu tiên chứa hai số nguyên dương ~N, M~ ~(N \leq M \leq 200)~.
• Dòng thứ hai chứa các số nguyên dương ~d_1, d_2, \dots, d_N~ ~(0 < d_i \leq 100)~.
• Dòng thứ ba chứa các số nguyên dương ~v_1, v_2, \dots, v_M~ ~(0 < v_j \leq 100)~.

Các số trên cùng dòng được ghi cách nhau bởi một kí tự trắng.

Output

Ghi ra file văn bản "TRAVEL.OUT":

• Một số duy nhất là tổng lượng xăng dầu ít nhất cần dùng cho việc đưa các đoàn đi tham quan (không tính lượt về).

Ví dụ

Sample Input

4 5
7 5 9 6
17 13 15 10 12

Sample Output

327

Giới hạn

• Thời gian: 1 giây
• Bộ nhớ: 256 MB
• ~N \leq M \leq 200~
• ~0 < d_i \leq 100~
• ~0 < v_j \leq 100~

Ghi chú (nếu có)

Không tính chi phí cho lượt về.