//P2911
#include<stdio.h>
int main()
{
int s1,s2,s3,sum,max=0,num;
int S1[20],S2[20],S3[40],SUM[100]={0};
scanf("%d%d%d",&s1,&s2,&s3);
for(int i=0;i<s1;i++)
{
S1[i]=i+1;
}
for(int j=0;j<s2;j++)
{
S2[j]=j+1;
}
for(int k=0;k<s3;k++)
{
S3[k]=k+1;
}
for(int l=0;l<s1;l++)
{
for(int m=0;m<s2;m++)
{
for(int n=0;n<s3;n++)
{
sum=S1[l]+S2[m]+S3[n];
SUM[sum]++;
}
}
}
for(int o=3;o<=80;o++)
{
if(max<SUM[o])
{
max=SUM[o];
num=o;
}
}
printf("%d",num);
return 0;
}