有一个包含 $m$ 个顶点的完全图。初始时，图中的边未被染色。Snuke 对每个 $i(1 \le i \le n)$ 执行了以下操作：从图中选择 $a_i$ 个顶点，并将连接这 $a_i$ 个顶点中任意两点的边染成颜色 $i$。已知没有任何一条边被染色超过一次。计算 $m$ 的最小值。
输入格式
输入的第一行包含一个整数 $n$ ($1 \le n \le 5$)。接下来 $n$ 行，第 $i$ 行包含一个整数 $a_i$ ($2 \le a_i \le 10^9$)。
输出格式
输出 $m$ 的最小值。
样例
样例输入 1
2 3 3
样例输出 1
5
样例输入 2
5 2 3 4 5 6
样例输出 2
12
说明
将图的顶点编号为：1, 2, 3, 4, 5。例如，你可以按以下方式对图进行染色：
- 选择三个顶点 1, 2, 3，并将它们之间的边染成颜色 1。
- 选择三个顶点 1, 4, 5，并将它们之间的边染成颜色 2。