#include <bits/stdc++.h>

using namespace std;

#define INF 2000000000
#define MOD 1000000007
typedef long long ll;
typedef pair<int, int> P;


int main()
{
	int a[3];
	for (int i = 0; i < 3; i++) {
		cin >> a[i];
	}
	sort(a, a+3);
	int ret = 0;
	int m = a[0];
	ret += m;
	for (int i = 0; i < 3; i++) {
		a[i]-=m;
	}

	while (true) {
//		cout << a[0] << " " << a[1] << " " << a[2] << "\n";
		if (a[2]>=3&&a[1]>0) {
			ret++;
			a[2]-=3;
			a[1]-=1;
			if (a[1]>a[2]) {
				int tmp = a[2];
				a[2] = a[1];
				a[1] = tmp;
			}
		}
		else if (a[1]>=3&&a[2]>0) {
			ret++;
			a[1]-=3;
			a[2]-=1;
		}
		else if (a[2]>=5) {
			ret++;
			a[2]-=5;
			if (a[1]>a[2]) {
				int tmp = a[2];
				a[2] = a[1];
				a[1] = tmp;
			}
		}
		else if (a[1]>=5) {
			ret++;
			a[1]-=5;
		} else {
			break;
		}
	}
	cout << ret << endl;
}