P0514

过敏症测试

过敏症测试

作为一个志愿者,你将接受一个过敏症测试。测试的目标是检测出所有对你有刺激作用的过敏原。

每一种过敏原有一个特定的 DD,表示当且仅当你对这种过敏原过敏时,你将持续 DD 天产生过敏反应。过敏反应可以看做在你接触过敏原的一瞬间开始。

测试的安排表上每天有两个事件:

  1. 在每天早上 88 点,你将接触至多一个过敏原;
  2. 在每天晚上 88 点,你将接受关于过敏反应的检测。

显然,假如你同时有因为两个以上的过敏原刺激产生的过敏反应,你是分辨不了关于它们的信息的。

在已经给定了每种过敏原的 DD 值的条件下,你想用尽量少的天数结束这个实验。注意,实验计划不能临时改变,必须预先确定,也就是说你不能根据之前是否产生了过敏反应来决定之后是否安排接触过敏原。

输入格式

第一行包括一个整数 kk,表示需要测试的过敏原数量。

接下来的 kk 行,每行包括一个数字 DD,表示这种过敏症持续的天数。

输出格式

一行一个整数,表示你的实验计划需要的天数。

注意:一个测试计划可以结束,必须在一个你不再有任何过敏症状的早晨。

样例输入

3
3
2
2

样例输出

5

数据范围

  • 1≤k≤201\le k\le 20;
  • 1≤D≤71\le D\le 7。

来源与许可

本题题面与测试数据整理自 BZOJ 2232。

样例 1

输入

3
3
2
2

输出

5