CF1154C Gourmet Cat

Polycarp 有一只猫，这只猫非常挑食！根据一周中的不同天数，它会吃不同类型的食物： - 周一、周四和周日吃鱼粮； - 周二和周六吃兔肉炖菜； - 其他日子吃鸡排。 Polycarp 计划去旅行，并已经收拾好了背包。背包里有： - $a$ 份鱼粮； - $b$ 份兔肉炖菜； - $c$ 份鸡排。 Polycarp 需要选择一个合适的星期几开始旅行，使得在不额外购买食物的情况下，他的猫能尽可能多地吃天数。请输出在最优选择出发日的情况下，猫咪最多可以吃多少天而无需额外购买食物。

输入一行包含三个正整数 $a$、$b$ 和 $c$（$1 \leq a, b, c \leq 7 \cdot 10^8$），分别表示 Polycarp 背包中鱼粮、兔肉炖菜和鸡排的份数。

输出一个整数，表示在最优选择出发日的情况下，猫咪最多可以吃多少天而无需额外购买食物。

在第一个样例中，最佳的出发日是星期天。这样，星期天和星期一猫会吃鱼粮，星期二吃兔肉炖菜，星期三吃鸡排。这样，旅行四天后所有食物都被吃完。 在第二个样例中，Polycarp 无论从哪一天开始旅行，背包里的食物都只够一周。 在第三个样例中，Polycarp 可以从除星期三、星期六和星期天以外的任何一天开始旅行。这样，猫咪会在三天内吃到三种不同的食物。尽管旅行三天后背包里还剩下 $99$ 份兔肉炖菜，但第四天猫已经没有可吃的食物了。 由 ChatGPT 4.1 翻译