#include <math.h>
#include <string.h>
#include <stdio.h>

int min(int a, int b){
	if(a<b){return a;}
	return b;
}

void sortRGB(int *rgb){
	int i,j;
	for(i=0;i<3;i++){
		for(j=i+1;j<3;j++){
			if(rgb[i] < rgb[j]){
				int tmp = rgb[i];
				rgb[i] = rgb[j];
				rgb[j] = tmp;
			}
		}
	}
	return;
}

int main(void){
	int ans = 0;
	int rgb[3];
	scanf("%d %d %d", &rgb[0], &rgb[1], &rgb[2]);
	
	sortRGB(rgb);
	
	while(1){
		
		ans += rgb[2];
		rgb[0] -= rgb[2];
		rgb[1] -= rgb[2];
		rgb[2] -= rgb[2];
		
		sortRGB(rgb);
		
		if(rgb[1] == 0){
			int tmp = (rgb[0]/5);
			rgb[1] += tmp;
			rgb[2] += tmp;
			rgb[0] -= tmp*2*2;
		}else{
			int tmp = 0;
			if(rgb[0]>2){tmp=1;}
			rgb[2] += tmp;
			rgb[0] -= tmp*2;
			
		}
		
		sortRGB(rgb);
		
		if(rgb[2] == 0){
			break;
		}
	}
	
	printf("%d\n", ans);
	return 0;
}