L=sorted(map(int,input().split())) c=L[0] L=[i-c for i in L] m=min(L[2]-L[1],L[1]*2)//2 L=sorted([m,L[1],L[2]-m*2]) if min(L)==L[0]: c+=L[0] L=[i-L[0] for i in L] m=L[1]//2 m-=m%2 L=[m,L[1]-m,L[2]-m] c+=L[0] L=[i-m for i in L] if L[2]>5: while L[2]>5:c+=1;L[2]-=5 elif L[2]>2:c+=1 print(c)