poj1017

//============================================================================
// Name        : 1017.cpp
// Author      : 
// Version     :
// Copyright   : Your copyright notice
// Description : Hello World in C++, Ansi-style
//============================================================================

#include <stdio.h>
using namespace std;

#define SIX 6
int data[SIX + 1];
int main() {
	while (1) {
		int sum = 0;
		int out = 0;
		for (int i = 1; i <= SIX; i++) {
			scanf("%d", &data[i]);
			sum += data[i];
		}
		if (sum == 0) {
			break;
		}

		out += data[6] + data[5] + data[4];
		data[1] -= data[5] * 11;
		data[2] -= data[4] * 5;

		out += data[3] / 4;
		data[3] %= 4;
		if (data[3] > 0) {
			out++;
			switch (data[3]) {
			case 3:
				data[2]--;
				data[1] -= 5;
				break;
			case 2:
				data[2] -= 3;
				data[1] -= 6;
				break;
			case 1:
				data[2] -= 5;
				data[1] -= 7;
				break;
			}
		}

		if (data[2] < 0) {
			data[1] += data[2] * 4;
			data[2] = 0;
		}
		if (data[1] < 0) {
			data[1] = 0;
		}

		int area = data[2] * 4 + data[1];
		out += area / 36;
		if (area % 36) {
			out += 1;
		}

		printf("%d\n",out);
	}
	return 0;
}