#include<stdio.h>

int max(int x, int y) {
	if (x > y) { return x; }
	else { return y; }
}
int zhong(int a, int b, int c) {
	if ((a - b) * (b - c) > 0) { return b; }
	else if ((b - a) * (a - c) > 0) { return a; }
	else { return c; }
}
int min(int x, int y) {
	if (x > y) { return y; }
	else { return x; }
}
int main() {
	int s1, s2, s3; int sum[100] = {0}; int a1, a2, a3;
	scanf("%d %d %d",&s1,&s2,&s3);
	 a1= max(max(s1, s2), s3);
	a2 = zhong(s1, s2, s3);
	a3 = min(min(s1, s2), s3);
	s1 = a1; s2 = a2; s3 = a3;
	for (int i = 1; i <= s1; i++) {
		for (int j = 1; j <= s2; j++) {
			for (int k = 1; k <= s3; k++) {
				sum[(i + j + k)]++;
			}
		}
	}
	int cnt = 0; 
	for (int p = 3; p <=(s1+s2+s3); p++) {
		if (sum[p] > cnt) {
			cnt = sum[p];
		}
	}
	printf("%d", cnt);
	return 0;
}