#import<cstdio>
int x,f,m,z;main(){for(;~scanf("%d",&x);)f++?z+=x/2,x>m?m=x:0:0;printf("%d",z-~m/2);}