{

int  s1,s2,s3=0;
int S1[20],S2[20],S3[40];
int sum=0;
int cnt[100]={0};
int i,j,k,q;
int maxsum=0;
scanf("%d %d %d",&s1,&s2,&s3);
for(i=0;i<s1;i++){
    S1[i]=i+1;
}
for(i=0;i<s2;i++){
    S2[i]=i+1;
}
for(i=0;i<s3;i++){
    S3[i]=i+1;
}
for(i=0;i<s1;i++){
    for(j=0;j<s2;j++){
        for(k=0;k<s3;k++){
            sum=S1[i]+S2[j]+S3[k];
            for(q=3;q<s1+s2+s3;q++){
                if(q==sum){
                    cnt[sum]++;
                }
            }
            sum=0;
        }
    }
}
for(i=3;i<=s1+s2+s3;i++){
    if(cnt[i]>=cnt[i+1]){
        maxsum=i;
    }
}
printf("%d\n",maxsum);

return 0;

}