问题描述

三朵小红花可以换一朵大红花

三朵大红花可以换一颗小星星

三颗小星星可以换一颗大星星

一颗小星星和一颗大星星可以换一份奖励

经过超级努力的学习，超级小明已经获得了很多很多的小红花、大红花、小星星、大星星。他想知道自己最多可以获得几份奖励。请你帮他算一算。

输入格式

一行四个整数a,b,c,d，表示超级小明已经获得的小红花、大红花、小星星、大星星的数量

输出格式

一个整数，表示超级小明最多可以获得的奖励的数量。

样例输入输出

0 0 3 3

3

27 0 1 0

1

数据分布

对于30%的数据：$d=0$。

对于80%的数据：$1 \le a,b,c,d \le 10^9$。

对于100%的数据：$1 \le a,b,c,d \le 10^{18}$。