#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <cmath>
#include <string>
#include <vector>
#include <algorithm>
#include <queue>
#include <map>
#include <functional>
#include <set>
#include <numeric>
#include <stack>
#include <utility>
#include <time.h>
//#include "util.h"

using namespace std;
typedef long long ll;
typedef unsigned long long ull;

#define PI 3.14159265358979323846
#define EPS 1e-6
#define MIN(a,b) ((a)<(b)?(a):(b))
#define MAX(a,b) ((a)>(b)?(a):(b))
#define CHAR_BIT 8
#define all(x) (x).begin(), (x).end()

template <typename _Ty>
ostream& operator << (ostream& ostr, const vector<_Ty>& v) {
	if (v.empty()) {
		cout << "{ }";
		return ostr;
	}
	cout << "{" << v.front();
	for (auto itr = ++v.begin(); itr != v.end(); itr++) {
		cout << ", " << *itr;
	}
	cout << "}";
	return ostr;
}

int yuki0091()
{
	int ans = 0;
	vector<int> c(3, 0);
	cin >> c[0] >> c[1] >> c[2];
	
	sort(all(c));
	// a <= b <= c
	ans += c[0];
	c[1] -= c[0]; c[2] -= c[0]; c[0] = 0;
	// 0 <= b <= c

	//cout << ans << " " << c << endl;

	while (1 <= c[1] && 3 <= c[2]) {
		ans++;
		c[1]--; c[2] -= 3;
		if (c[1] > c[2]) swap(c[1], c[2]);
		//cout << ans << " " << c << endl;
	}

	while (c[2] >= 5) {
		ans++;
		c[2] -= 5;
		//cout << ans << " " << c << endl;
	}

	cout << ans << endl;
	
	return 0;
}

int main()
{
	//clock_t start, end;
	//start = clock();

	yuki0091();

	//end = clock();
	//printf("%d msec.\n", end - start);

	return 0;
}