s,x,m;main(i){for(;~scanf("%d",&x);)--i?m<x?m=x:0,s+=x/2:0;printf("%d",s-~m/2);}