#include<stdio.h>
int main()
{
	int s1,s2,s3,a[80]={0},i,j,k,min=0,num;
	scanf("%d%d%d",&s1,&s2,&s3);
	for(i=1;i<=s1;i++)
	{
		for(j=1;j<=s2;j++)
		{
			for(k=1;k<=s3;k++)
			{
				a[i+j+k]++;
			}
		}
	}
	for(i=3;i<=80;i++)
	{
		if(a[i]>min)
		{
			min=a[i];
			num=i;
		}
	}
	printf("%d",num);
	return 0;
}