#include <stdio.h>

int cnt(int n[3]) {
	int z, t, i;
	if (n[0] > 0 && n[1] > 0 && n[2] > 0) {
		for (i = 0; i < 3; i++) {
			n[i]--;
		}
		return 1 + cnt(n);
	}
	else if (n[0] + n[1] + n[2] > 3) {
		for (i = 0; i < 3; i++) {
			if (n[i] >= 2) t = i;
			else if (n[i] == 0) z = i;
		}
		n[t] -= 2;
		n[z]++;
		return cnt(n);
	}
	else return 0;
}

int main() {
	int n[3], i;
	
	for (i = 0; i < 3; i++) {
		scanf("%d", &n[i]);
	}

	printf("%d\n", cnt(n));
	return 0;
}