#include <bits/stdc++.h>
	#define rep(i,n) for(int i=(0);i<(n);i++)

	using namespace std;

	typedef long long ll;
	typedef unsigned long long ull;

	template<class T> bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
	template<class T> bool chmin(T &a, const T &b) { if (a>b) { a=b; return 1; } return 0; }

	int main(){
		cin.tie(0);
		ios::sync_with_stdio(false);

		vector<int> a(3);
		rep(i, 3) cin >> a[i];

		sort(a.begin(), a.end());

		int ans = a[0];
		rep(i, 3) a[2 - i] -= a[0];

		int x = a[1], y = a[2];
		while(x >= 1 && y >= 3){
			x--;
			y -= 3;
			ans++;
			if(x > y) swap(x, y);
		}

		if(x == 0){
			ans += y / 5;
		}

		cout << ans << endl;
	}