#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部変数
static FILE *szpFpI;											// 入力
static int si1Cnt[3];											// 個数

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
#endif

// ソート関数 - int昇順
int
fSortFnc(
	const void *pzpVal1			// <I> 値１
	, const void *pzpVal2		// <I> 値２
)
{
	int *lipVal1 = (int *)pzpVal1;
	int *lipVal2 = (int *)pzpVal2;

	// int昇順
	if (*lipVal1 > *lipVal2) {
		return(1);
	}
	else if (*lipVal1 < *lipVal2) {
		return(-1);
	}

	return 0;
}

// 実行メイン
int
fMain(
	int piTNo					// <I> テスト番号 1～
)
{
	int i;
	char lc1Buf[1024], lc1Out[1024];

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", piTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", piTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 個数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d%d%d", &si1Cnt[0], &si1Cnt[1], &si1Cnt[2]);

	// 個数 - ソート
	qsort(si1Cnt, 3, sizeof(int), fSortFnc);

	// 交換なしでの個数
	int liSum = si1Cnt[0];
	for (i = 2; i >= 0; i--) {
		si1Cnt[i] -= si1Cnt[0];
	}

	// 最大数と中間の差を交換
	int liCnt = (si1Cnt[2] - si1Cnt[1]) / 2;
	if (liCnt > si1Cnt[1]) {
		liCnt = si1Cnt[1];
	}
	liSum += liCnt;
	si1Cnt[1] -= liCnt;
	si1Cnt[2] -= liCnt * 3;

	// 最大数と中間の両方交換
	liCnt = si1Cnt[1] / 4;
	liSum += liCnt * 2;
	si1Cnt[1] -= liCnt * 4;
	si1Cnt[2] -= liCnt * 4;

	// 最大数のみの交換
	liCnt = si1Cnt[2] / 5;
	liSum += liCnt;
	si1Cnt[2] -= liCnt * 5;

	// 残り
	if (si1Cnt[1] > 0 && si1Cnt[2] > 2) {
		liSum++;
	}

	// 結果 - セット
	sprintf(lc1Out, "%d\n", liSum);

	// 結果 - 表示
#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, lc1Out)) {
		siRes = -1;
	}
#else
	printf("%s", lc1Out);
#endif

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", piTNo);
	}
	else {
		printf("NG %d\n", piTNo);
	}
#endif

	return 0;
}

int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		fMain(i);
	}
#else
	fMain(0);
#endif

	return 0;
}