UOJ Logo 黑暗爆炸OJ

DARKBZOJ

#2232. 过敏症测试

Statistics 下载数据

Description

作为一个志愿者,你将接受一个过敏症测试。测试的目标是检测出所有对你有刺激作用的过敏原。每一种过敏原有一个特定的D,表示你将持续D天产生过敏反应当且仅当你对这种过敏原过敏。过敏反应可以看做在你接触过敏原的一瞬间开始。测试的安排表上每天有两个事件。
1.在每天早上8点,你将接触至多一个过敏原。
2.在每天晚上8点,你将接受关于过敏反应的检测。
显然,假如你同时有因为两个以上的过敏原刺激产生的过敏反应,你是分辨不了关于它们的信息的。
在已经给定了每种过敏原的D值的条件下,你想用尽量少的天数结束这个实验——注意,实验计划不能临时改变,必须预先确定,也就是说你不能根据之前是否产生了过敏反应来决定之后是否安排接触过敏原。

Input

第一行包括一个整数k(1<=k<=20),表示需要测试的过敏原数量。接下来的K行,每行包括一个数字D1<=D<=7),表示这种过敏症持续的天数。

Output

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

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

Sample Input

3
3
2
2

Sample Output

5

Hint

Source