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 eatsfish food;
• on Tuesdays and Saturdays he eatsrabbit stew;
• on other days of week he eatschicken stake.

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

• a daily rations offish food;
• b daily rations ofrabbit stew;
• c daily rations ofchicken 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.

The first line of the input contains three positive integers a, b and c ($1 \leqslant a, b, c \leqslant 7\ast10^{8}$) — the number of daily rations offish food,rabbit stewandchicken stakesin Polycarps backpack correspondingly.

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.

4

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.

7

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.

3

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.