#include<stdio.h>
int box[1000];
int main()
{
	int  a,b,c;
	int  sum = 0;
	int  max = 0;
	scanf("%d %d %d",&a,&b,&c);

	for (int i=1; i <= a; i++)
		for (int j=1; j <= b; j++)
			for (int k=1; k <= c; k++)
			{
				sum = i+j+k;
				box[sum]++;
			}

	for (int i=1; i <= 100; i++)
	{
		if (box[i] > max)
		{
			max = i;
		}
	}

	printf("%d", max);


	return 0;
}