#include<bits/stdc++.h> 
using namespace std;
int b[4], a[100], maxx;
int main(){
	scanf("%d %d %d", &b[1], &b[2], &b[3]);
	for(int i=1; i<=b[1]; i++)
		for(int j=1; j<=b[2]; j++)
			for(int k=1; k<=b[3]; k++)
				a[i+j+k]++;
	for(int i=3; i<b[1]+b[2]+b[3]; i++)
		if(a[i]>maxx) maxx=a[i];
	printf("%d", maxx);
	return 0;
}