编程题
### 问题描述
在一个神奇的冒险世界中,小桥和妮妮是一对勇敢的冒险者。他们最近听说了一个宝藏牌的传说,据说这些神秘的牌拥有特殊的力量。
宝藏牌一共有 $n$ 张,每张牌上都刻有一个数字 $a_i$。小桥和妮妮决定进行一项挑战,他们想知道选取一些牌上的数字的和能否构成从 $0$ 到 $m$ 中的所有数字。他们希望找到能够满足条件的最大数字 $m$,如果无法构成数字 $0$,则任务失败,输出 `-1`。
现在,请你帮助小桥和妮妮解决这个谜题。
### 输入格式
第一行输入一个整数 $n$($1 \leq n \leq 19$),表示宝藏牌的数量。
第二行输入 $n$ 个整数 $a_i$($0 \leq a_i \leq 9$),表示每张牌上的数字。
### 输出格式
输出仅一行,包含一个整数。如果无法构成数字 $0$,输出 `-1`;否则输出能够满足条件的最大数字 $m$。
### 样例输入
```
3
0 1 2
```
### 样例输出
```
3
```