import sys
input=lambda: sys.stdin.readline().rstrip()
A=[int(i) for i in input().split()]
A.sort()
a,b,c=A
ans=a
b-=a
c-=a
if c-b>=2:
  d=min(b,(c-b)//2)
  ans+=d
  b-=d
  c-=3*d
if b==0:
  ans+=c//5
else:
  d=b//4
  ans+=2*d
  b-=4*d
  c-=4*d
  if b>=1 and c>=3:
    ans+=1
print(ans)