Hệ thống tiền tệ Geraldion

Đảo Geraldion sử dụng một hệ thống tiền tệ riêng gồm $n$ loại tiền với các mệnh giá $a_1,a_2,\dots ,a_n$. Người dân có thể dùng bao nhiêu tờ tiền của mỗi mệnh giá tùy ý.

Một số tiền được gọi là số xui xẻo nếu không thể biểu diễn nó bằng bất kỳ tập hợp các tờ tiền nào (tức là không tồn tại các số nguyên không âm $c_1,c_2,\dots ,c_n$ sao cho $c_1{a}_1+c_2{a}_2+\cdots +c_n{a}_n$ bằng đúng số tiền đó).

Hãy tìm số tiền xui xẻo nhỏ nhất. Nếu không tồn tại số tiền xui xẻo nào, in ra $-1$.

Dữ liệu vào

• Dòng đầu chứa số nguyên $n$, số loại mệnh giá tiền.
• Dòng thứ hai chứa $n$ số nguyên $a_1,a_2,\dots ,a_n$, các mệnh giá.

Dữ liệu ra

In ra một số nguyên duy nhất là số tiền xui xẻo nhỏ nhất, hoặc $-1$ nếu không tồn tại.

Ràng buộc

• $1\le n\le 1000$
• $1\le a_i\le {10}^6$

Ví dụ