#include<iostream>
#include<algorithm>
#include<string>
#include<vector>

using namespace std;

int med3(int a,int b,int c);
void Swap(int *x,int *y);

int main(){
	int R,G,B;
	cin>>R>>G>>B;


	int count=0;

	count = min(min(R,G),B);
	R-= count;
	G-= count;
	B-= count;
	int Maximum = max(max(R,G),B);
	int med = med3(R,G,B);

	if(med  == 0)
		count = count + (Maximum / 5);
	else {
		while (Maximum > 2){
			if (med == 0){
				count += Maximum / 5 ;
				break;
			}

			Maximum -= 3;
			med -= 1;
			if (Maximum < med)
				Swap(&Maximum,&med);

			count++;
		}

	}



	cout<<count<<endl;

	return 0;
}

int med3(int a,int b,int c){
	if (a >= b)
		if (b >= c)
			return b;
		else if (a <= c)
			return a;
		else 
			return c;
	else if (a > c)
		return a;
	else if (b > c)
		return c;
	else {
		return b;
	}
}

void Swap(int *x, int *y){
	int work;
	work = *x;
	*x = *y;
	*y = work;
}