#include <stdio.h>
#define re register
int plus[88];
int main(){
int s1,s2,s3;
scanf("%d%d%d",&s1,&s2,&s3);
for(re int i=1;i<=s1;i++)
for(re int j=1;j<=s2;j++)
for(re int k=1;k<=s3;k++)
plus[i+j+k]++;
int max=0,maxn;
for(re int i=3;i<=80;i++)
plus[i]>max?max=plus[i],maxn=i:max;
printf("%d",maxn);
return 0;
}