TopCoder

User's AC Ratio

NaN% (0/0)

Submission's AC Ratio

NaN% (0/0)

Tags

Description

A test for allergy is conducted over the course of several days, and consists of exposing you to di erent 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 su er 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.


Thus an allergen with live duration D will a ect exactly D allergic reaction examinations.


Of course, if you have two or more active allergens in your body at the time of an observed reaction, you cannot tell from that information only, which of the substances
you are allergic to.


You want to fi nd 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 xed in advance. Thus you may not choose when to apply an allergen based on the outcome of previous allergic reaction examinations.

Input Format

The fi rst 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.

Output Format

The number of days of the shortest conclusive non-adaptive test scheme.


A scheme ends the morning when you no longer have active allergens in your body, thus a test scheme for a single allergen with live duration D takes D days.

Sample Input 1

3
2
2
2

5
1
4
2
5
2

Sample Output 1

5
10

Hints

Problem Source

Migrated from old NTUJ.

NCPC 2009

Subtasks

No. Testdata Range Score

Testdata and Limits

No. Time Limit (ms) Memory Limit (VSS, KiB) Output Limit (KiB) Subtasks
0 10000 65536 200