A test for allergy is conducted over the course of several days, and consists of exposing you to diferent substances (so called allergens). The goal is to decide exactly which of the allergens you are allergic to. Each allergen has a live duration D measured in whole days, indicating exactly how many days you will suffer from an allergic reaction if you are allergic to that particular substance. An allergic reaction starts to show almost immediately after you have been exposed to an allergen which you are allergic to. The test scheme has two action points per day:

• I At 8 o'clock each morning, at most one of the allergens is applied to your body.
• II At 8 o'clock each evening, you are examined for allergic reactions.

You want to find the shortest possible test scheme given the durations of the allergens you want to test. Furthermore, to allow simple large scale application the test scheme must be non-adaptive, i.e. the scheme should be fixed in advance. Thus you may not choose when to apply an allergen based on the outcome of previous allergic reaction examinations.

입력

• The first line of the input contains a single integer k (1 <= k <= 20) specifying the number of allergens being tested for.
• Then follow k lines each containing an integer D (1 <= D <= 7) specifying the live duration of each allergen.

출력

입출력 예

입력

3
2
2
2

출력

5

입력

5
1
4
2
5
2

출력

10

출처:ncpc/2009/Problem C