1017

#include <cstdio>inline int init(int (&product)[7]){scanf("%d %d %d %d %d %d", &product[1], &product[2], &product[3], &product[4], &product[5], &product[6]);return product[1] + product[2] + product[3] + product[4] + product[5] + product[6];}int main(){int product[7], ans, temp;while(init(product)){ans = 0;ans += product[6];ans += product[5];product[1] -= product[5] * 11;ans += product[4];product[2] -= product[4] * 5;temp = (product[3] + 3) / 4;ans += temp;temp = 4 * temp - product[3];if(1 == temp){product[2] -= 1;product[1] -= 5;}else if(2 == temp){product[2] -= 3;product[1] -= 6;}else if(3 == temp){product[2] -= 5;product[1] -= 7;}if(product[2] > 0){temp = (product[2] + 8) / 9;ans += temp;product[2] -= 9 * temp;}product[2] = -product[2];product[1] -= 4 * product[2];if(product[1] > 0){ans += (product[1] + 35) / 36;}printf("%d/n", ans);}return 0;}