C. Котик-гурман
ограничение по времени на тест
1 секунда
ограничение по памяти на тест
256 мегабайт
ввод
стандартный ввод
вывод
стандартный вывод

У Поликарпа есть котик, который настоящий гурман! В зависимости от дня недели он ест определенный тип еды:

  • по понедельникам, четвергам и воскресеньям он ест рыбный корм;
  • по вторникам и субботам он ест рагу из кролика;
  • в остальные дни недели он ест куриную отбивную.

Поликарп планирует отправиться в поход и уже собрал рюкзак. В рюкзаке находится:

  • $$$a$$$ порций рыбного корма;
  • $$$b$$$ порций рагу из кролика;
  • $$$c$$$ порций куриных отбивных.

Поликарп хочет выбрать такой день недели для начала похода, чтобы его котик как можно дольше мог питаться без пополнения запасов. Выведите максимальное количество дней, сколько в походе котик может питаться без пополнения запасов, если Поликарп выбирает день недели для старта похода оптимальным образом.

Входные данные

В первой строке входных данных записаны три целых положительных числа $$$a$$$, $$$b$$$ и $$$c$$$ ($$$1 \le a, b, c \le 7\cdot10^8$$$) — количество порций рыбного корма, рагу из кролика и куриных отбивных в рюкзаке Поликарпа соответственно.

Выходные данные

Выведите максимальное количество дней, сколько в походе котик может питаться без пополнения запасов, если Поликарп выбирает день недели для старта похода оптимальным образом.

Примеры
Входные данные
2 1 1
Выходные данные
4
Входные данные
3 2 2
Выходные данные
7
Входные данные
1 100 1
Выходные данные
3
Входные данные
30 20 10
Выходные данные
39
Примечание

В первом примере поход следует начать в воскресенье. В таком случае, в воскресенье и понедельник котик съест рыбный корм, во вторник — рагу из кролика и в среду — куриную отбивную. Таким образом, после четырёх дней похода все запасы подойдут к концу.

Во втором примере поход можно начать в любой из дней недели. В любом случае запасов хватает ровно на одну неделю.

В третьем примере поход можно начать в любой день, кроме среды, субботы и воскресенья. В таком случае, за три дня котик съест три разных блюда. Несмотря на то, что после трёх дней похода в рюкзаке останется $$$99$$$ порций рагу из кролика на четвертый день похода котику будет нечего есть.