1154_C. Gourmet Cat
Polycarp has a cat and his cat is a real gourmet! Dependent on a day of the week he eats certain type of food:

  * on Mondays, Thursdays and Sundays he eats fish food; 
  * on Tuesdays and Saturdays he eats rabbit stew; 
  * on other days of week he eats chicken stake. 



Polycarp plans to go on a trip and already packed his backpack. His backpack contains:

  * a daily rations of fish food; 
  * b daily rations of rabbit stew; 
  * c daily rations of chicken stakes. 



Polycarp has to choose such day of the week to start his trip that his cat can eat without additional food purchases as long as possible. Print the maximum number of days the cat can eat in a trip without additional food purchases, if Polycarp chooses the day of the week to start his trip optimally.

Input

The first line of the input contains three positive integers a, b and c (1 ≤ a, b, c ≤ 7⋅10^8) — the number of daily rations of fish food, rabbit stew and chicken stakes in Polycarps backpack correspondingly.

Output

Print the maximum number of days the cat can eat in a trip without additional food purchases, if Polycarp chooses the day of the week to start his trip optimally.

Examples

Input


2 1 1


Output


4


Input


3 2 2


Output


7


Input


1 100 1


Output


3


Input


30 20 10


Output


39

Note

In the first example the best day for start of the trip is Sunday. In this case, during Sunday and Monday the cat will eat fish food, during Tuesday — rabbit stew and during Wednesday — chicken stake. So, after four days of the trip all food will be eaten.

In the second example Polycarp can start his trip in any day of the week. In any case there are food supplies only for one week in Polycarps backpack.

In the third example Polycarp can start his trip in any day, excluding Wednesday, Saturday and Sunday. In this case, the cat will eat three different dishes in three days. Nevertheless that after three days of a trip there will be 99 portions of rabbit stew in a backpack, can cannot eat anything in fourth day of a trip.
```python
import copy
nums = [0, 1, 2, 0, 2, 1, 0]
asdf = [3, 2, 2]
things = list(map(int, input().split(' ')))
max_idx = 0
for i in range(7):
    stuff = copy.deepcopy(things)
    idx = i
    while stuff[0] >= 0 and stuff[1] >= 0 and stuff[2] >= 0 and idx < 7:
        stuff[nums[idx % 7]] -= 1
        idx += 1
    num_weeks = min([stuff[0] // asdf[0],
                     stuff[1] // asdf[1],
                     stuff[2] // asdf[2]])
    stuff[0] -= asdf[0] * num_weeks
    stuff[1] -= asdf[1] * num_weeks
    stuff[2] -= asdf[2] * num_weeks
    idx += 7 * num_weeks
    while stuff[0] >= 0 and stuff[1] >= 0 and stuff[2] >= 0:
        stuff[nums[idx % 7]] -= 1
        idx += 1
    idx -= i
    if max_idx < idx:
        max_idx = idx
print(max_idx - 1)

```