Nghệ nhân nấu ăn Tư Mập có thể sử dụng hệ thống gồm n bếp điện để thực hiện nấu món ăn khiến ông được vinh danh, đó là món gatô hải sản. Thời gian để thực hiện nấu một suất ăn như vậy trên các bếp điện tương ứng là t1, t2, …, tn giây.

Yêu cầu: Cho biết s là số lượng thực khách cần phục vụ, hãy xác định thời gian tối thiểu cần thiết để Nghệ nhân Tư Mập có thể nấu xong s suất ăn trên hệ thống bếp điện của khách sạn. Để nấu mỗi suất ăn chỉ được sử dụng một bếp.

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

• Dòng đầu tiên chứa số lượng suất ăn s (0 < s < 1015) và số lượng bếp điện n (0 < n < 20).

• Dòng thứ hai chứa n số nguyên dương t1, t2, …, tn, mỗi số nhỏ hơn 500.

Kết quả: Ghi ra file văn bản CAKES.OUT duy nhất một số nguyên là thời gian tối thiểu tìm được tính bằng giây.

Ví dụ

input

3 2

50 70

output

100