题目描述

塔子哥最近发现了一款新游戏。

在这款游戏中，你需要通过打怪来升级，现在共有 $n$ 个怪物，第 $i$ 的怪物的血量为 $w_i$。打败第 $i$ 个怪物当且仅当人物当前血量不小于怪物的血量 $w_i$，且打败怪物后人物血量清零。

人物一开始血量为 $0$，每隔 $1$ 单位时间血量会增加 $c$ 点，其中 $c$ 表示人物已经打败的怪物数 $+1$。

塔子哥想要快速升级，请你帮他求出打败所有怪物花费的最短时间。

输入格式

第一行一个整数 $n$，表示怪物数量。

接下来 $n$ 个整数，表示怪物的血量。

$1 \le n\le 20$，$1 \le w_i \le 120$。

输出格式

一个整数表示答案。

4
1 2 4 9

6