#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[1]>2&&(rgb[2]/2)<rgb[1]){
			rgb[1]=rgb[1]-rgb[2]/2;
			ans+=rgb[2]/2+rgb[1]-rgb[1]%2;
		}
		else{
			ans+=rgb[1];
			rgb[2]-=rgb[1]*2;
			ans+=rgb[2]/5;
		}
		
	} 
	
	printf("%d\n",ans);
	
	return 0;
}