Mận hậu Mộc Châu

Mận hậu Mộc Châu Sơn La là đặc sản của cao nguyên Mộc Châu tươi đẹp, khí hậu quanh năm mát mẻ. Mận hậu Sơn La giòn giòn, chua thanh chấm muối tôm hặc chẩm chéo thì ngon tuyệt hảo. Mận hậu giàu chất dinh dưỡng, chứa rất nhiều kali, vitamin A, sắt, vitamin B2, các vitamin nhóm B và ma giê, giàu chất xơ giúp tăng cường chức năng tiêu hóa. Một quả mận chín chuẩn có $26\%$ vitamin C, $13\%$ vitamin K và $11\%$ vitamin A. Ăn mận để thanh lọc máu, nuôi dưỡng một trái tim khỏe. Mận còn giàu chất chống oxi hóa, làm sáng mắt, đẹp da, phòng tránh nguy cơ mắc các bệnh ung thư, ngăn ngừa lão hóa... Mận hậu có chứa axit xitric có tác dụng phòng chống mệt mỏi và chuột rút co cơ. Bên cạnh đó, lượng nước dồi dào trong mận còn giúp ổn định cơ thể nên được nhiều vận động viên chuyên nghiệp ưa chuộng.

Biết được những công dụng của Mận hậu nên sau khi tham gia trại hè Hùng Vương, Minh đã đến siêu thị để mua $k$ (kg) Mận về làm quà cho $n$ người bạn thân. Trong siêu thị Mận được đóng gói sẵn trong các bao bì hút chân không, mỗi gói chứa $x$ kg Mận ($x>0$ và $x$ là số nguyên). Bảng giá niêm yết một gói $x$ kg Mận có giá là $y_x$ VNĐ. Nếu $y_x=-1$ thì có nghĩa gói đó là hàng trưng bày và không bán. Mỗi loại gói được bán với số lượng không hạn chế, nên Minh có thể mua nhiều gói cùng loại. Minh quyết định sẽ mua $k$ (kg) Mận nếu số lượng gói tối đa không vượt quá $n$ cho $n$ người bạn thân. Tức là Minh sẽ không mua nhiều hơn $n$ gói Mận (có thể mua ít hơn $n$ gói).

Yêu cầu: Hãy lập trình tính giúp Minh số tiền ít nhất mà Minh phải bỏ ra để mua đúng $k$ (kg) Mận về cho $n$ người bạn.

Dữ liệu vào

• Dòng đầu tiên chứa hai số nguyên dương $n$ và $k$, lần lượt là số lượng bạn của Minh và lượng Mận (kg) mà Minh muốn mua.
• Dòng thứ hai gồm $k$ số nguyên $y_1,y_2,\dots ,y_k$ ghi cách nhau bởi một dấu cách. Trong đó, số nguyên thứ $i$ là giá của gói $i$ kg ($y_i\le 100$). Giá trị $-1$ có nghĩa là gói tương ứng sẽ không được bán.

Dữ liệu ra

In ra số tiền ít nhất mà Minh phải bỏ ra để mua đúng $k$ (kg) Mận. Nếu Minh không thể mua được $k$ (kg) Mận thì in ra $-1$.

Ràng buộc

• $1\le n,k\le 100$.
• $y_i=-1$ hoặc $0\le y_i\le 100$.

Subtasks

• Subtask 1 ($50\%$ số điểm): $1\le n,k<50$.
• Subtask 2 ($50\%$ số điểm): $50\le n,k\le 100$.

Ví dụ