本题需要文件读写

文件 IO 为：输入文件 cat.in，输出文件 cat.out。请使用上述文件名读入和输出。

该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

题目描述

小 k 有一只可爱的小猫，这只猫在饮食上有这样的规律：

• 在每周的周一、周四、周日，猫咪会吃一条鱼
• 在每周的周二、周六，猫咪会吃一份猫粮
• 剩下的时间猫咪会吃一份水果。

小 k 要带这猫出去旅行，她会带 $a$ 条鱼，$b$ 份猫粮，$c$ 份水果。

假如她采取最优的策略来决定在一周的哪一天出发，请问她带的这些食物最多可以喂饱这只猫几天。

输入格式

输入一行三个整数，代表 $a,b,c$。

输出格式

输出一行一个整数代表答案。

样例输入 1

2 1 1

样例输出 1

4

样例输入 2

3 2 2

样例输出 2

7

样例输入 3

1 100 1

样例输出 3

3

样例输入 4

30 20 10

样例输出 4

39

说明

数据范围

• 对于 $20\%$ 的数据，$a,b,c \le 10$；
• 对于 $40\%$ 的数据，$a,b,c \le 1000$；
• 对于 $60\%$ 的数据，$a+b+c \le 1\times 10^9$；
• 对于另外 $20\%$ 的数据，$a \le 7\times 10^8$，$b,c \le 10$；
• 对于 $100\%$ 的数据，$a,b,c\le 7\times 10^8$。