#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <vector>
#include <algorithm>
using namespace std;

//namaega184

int main(){
	
	
	int rgb[3];scanf("%d%d%d",&rgb[0],&rgb[1],&rgb[2]);
	int ans;
	sort(rgb,rgb+3);ans=rgb[0];
	for(int i=1;i<3;i++)rgb[i]-=rgb[0];
	rgb[2]-=rgb[1];
	if(rgb[1]==0){
		ans+=rgb[2]/5;
	}
	else{
		if((rgb[2]/2)<rgb[1]){ 
			rgb[1]=rgb[1]-rgb[2]/2; 
			if(rgb[1]<3)rgb[1]=0;  
			ans+=rgb[2]/2+(rgb[1]>2?(rgb[1]/2-((int)(rgb[1]%2+rgb[2]%2==0)+rgb[1]/2%2)/2+((int)(rgb[1]%2+rgb[2]==2)+rgb[1]/2%2)/2):0);
		}
		else{
			ans+=rgb[1];
			rgb[2]-=rgb[1]*2;
			ans+=rgb[2]/5;
		}
		
	} 
	
	printf("%d\n",ans);
	
	return 0;
}