/*
yukicoder No.91 赤、緑、青の石
解答者：ヒロソフ
*/
#include <stdio.h>

int main(void) {

	unsigned int r, g, b;
	unsigned int *p[2];
	int Count = 0;
	scanf("%u %u %u", &r, &g, &b);
	bool  bNext = false;
	do {
		bNext = false;
		while ((r > 0) && (g > 0) && (b > 0)) {
			//作れる間繰り返す
			Count++;
			r--;
			g--;
			b--;
		}
		//0のものを確認
		p[0] = nullptr;
		if (r == 0) p[0] = &r;
		else if (g == 0) p[0] = &g;
		else if (b == 0) p[0] = &b;

		//3つ以上あるもので最大のものを確認
		p[1] = &r;
		if (*p[1] < g) p[1] = &g;
		if (*p[1] < b) p[1] = &b;
		if (*p[1] >= 3) {
			//交換条件がそろったので交換して次のループへ
			*p[1] -= 2;
			*p[0] += 1;
			bNext = true;
		}
	} while (bNext);

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