# -*- coding: utf-8 -*-

R, G, B = map(int, raw_input().split())

# 普通に作れる数
minc = min(R, G, B)

R -= minc
G -= minc
B -= minc

# 2番目の多いやつを基準に考える
l = sorted([R, G, B])
while True:
    if l[1] > 0:
        # 2種類ある場合
        amari = l[2] - l[1]
        add = max(min(l[1], amari/2), 1)
        if l[2]-add*3 < 0: break
        minc += add
        l[1] -= add
        l[2] -= add*3
        #if sum(l) <= 4: break
    else:
        # 1種類しか残ってない場合
        add = l[2] / 5
        minc += add
        l[2] -= add*5
        break
    l = sorted(l)

print minc