Niềm vui lớn nhất của một cậu học sinh cấp 3 khi được nghĩ hè chắc có lẽ là đi chơi net với bạn bè. Không riêng gì bạn Trung (một trong những one champ Qiyana khét tiếng của game Liên Minh Huyền Thoại).

Cứ mỗi tháng game lại cho ra nhiều trang phục để hút máu người chơi và thật may mắn đợt này tướng Qiyana lại được thêm một trang phục mới, do bạn Trung mới đóng tiền học thêm nên chưa có đủ tiền để sắm trang phục mới cho mình nhưng may mắn thay anh trai của Trung đã giao cho Trung một nhiệm vụ để có tiền mua trang phục. Nhiệm vụ đơn giản như sau:

Trung phải chăm chỉ tưới nước cho cây xương rồng yêu thích của anh mình vào mỗi buổi sáng trong vòng 12 ngày. Trung chắc rằng nếu bạn ấy hoàn hành nhiệm vụ vào ngày thứ i (1 ≤ i ≤ 12 ), thì cây sẽ lớn thêm ai cm, và nếu anh ấy không tưới nước cho cây trong ngày thứ i, thì ngày đó cây sẽ không mọc. Trung biết rằng nếu cố gắng hết sức, anh của Trung sẽ không tin rằng cậu đã tưới nước cho cây nếu nó mọc chưa đầy k cm.

Bạn hãy giúp Trung chọn số ngày tối thiểu để bạn ấy tưới cây, với điều kiện là cây sẽ phát triển không dưới k cm.

Dữ liệu vào: Dòng đầu tiên chứa một số nguyên k (0 ≤ k ≤ 100).

Dòng tiếp theo chứa 12 số nguyên cách nhau bởi dấu cách: số thứ i (1 ≤ i ≤ 12) đại diện cho ai (0 ≤ ai ≤ 100).

Dữ liệu ra:

In ra một số nguyên là số ngày tối thiểu mà Trung phải tưới nước cho cây xương rồng để cây lớn không ít hơn k cm. Nếu cây xương rồng không thể lớn thêm k cm trong 12 ngày đó, hãy xuất ra màn hình -1.

INPUT

52
1 12 3 11 4 5 10 6 9 7 8 2

OUTPUT

6