#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef double db;
typedef pair<int,int> pii;
#define eprintf(...) fprintf(stderr,__VA_ARGS__)

int I,O,T,J,L,S,Z;

int main(){
	scanf("%d%d%d%d%d%d%d",&I,&O,&T,&J,&L,&S,&Z);
	ll ans=0LL+I/2*2+J/2*2+L/2*2;
	if(I&&J&&L) ans=max(ans,3LL+(I-1)/2*2+(J-1)/2*2+(L-1)/2*2);
	ans+=O;
	printf("%lld\n",ans);
}