#include<stdio.h>
#include<algorithm>
using namespace std;
int b[10];
int t[1<<4];
int main(){
	int a;
	scanf("%d",&a);
	for(int i=0;i<a;i++)scanf("%d",b+i);
	long long ret=0;
	std::sort(b,b+a);
	ret+=b[a-1];
	t[1]=b[a-1];
	if(a==5&&b[4]==2){
		printf("4\n");return 0;
	}
	if(a>1){
		ret+=b[a-2]-1;
		t[2]=b[a-2]-1;
		t[1]--;
		t[3]++;
		if(a>2){
			ret+=b[a-3]-2;
			t[4]=b[a-3]-2;
			t[1]--;
			t[2]--;
			t[5]++;
			t[6]++;
			if(a>3){
				if(b[a-3]>2){
					ret+=max(0,b[a-4]-3);
					t[8]=max(0,b[a-4]-3);
					t[1]--;
					t[2]--;
					t[9]++;
					t[10]++;
					if(b[a-4]>=3){
						t[4]--;
						t[12]++;
					}
					
				}else if(b[a-2]>2){
					ret+=b[a-4]-2;
					t[1]--;
					t[2]--;
					t[9]++;
					t[10]++;
					t[8]=b[a-4]-2;
				}else if(b[a-1]>2){
					ret+=b[a-4]-2;
					t[1]--;
					t[6]--;
					t[9]++;
					t[14]++;
					t[8]=b[a-4]-2;//return 1;
				}else{
					ret+=b[a-4]-1;
					t[3]--;
					t[11]++;
				}
				if(a>4){
					int val=0;
					for(int i=0;i<(1<<16);i++){
						bool ok=true;
						for(int j=0;j<16;j++)if((i&(1<<j))&&!t[j])ok=false;
						int tmp=__builtin_popcount(i);
						
						for(int j=0;j<4;j++){
							int at=0;
							for(int k=0;k<16;k++)if((k&(1<<j))&&(i&(1<<k)))at++;
							if(at>1)ok=false;
							//tmp+=at;
						}
						if(!ok)continue;
						val=max(val,tmp);
					}
					ret+=max(0,b[a-5]-val);
				}
			}
		}
	}
	printf("%lld\n",ret);
}