#include <stdio.h>
int main() {
	int a=0,b=0,c=0;
	scanf("%d %d %d", &a, &b,&c);
	int n[100]={0};
	for (int i = 1; i <= a; i++) {
		for (int j = 1; j <= b; j++) {
			for (int k = 1; k <= c; k++) {
				int sum = i + j + k;
				n[sum]++;
			}
		}
	}
	int max = 1;
	for (int i = 1; i <= 100; i++) {
		if (n[i] > max) {
			max = n[i];
		}
	}
	printf("%d", max);
		return 0;
}