#red,green,blue = 5,18,36
red,green,blue = [int(i) for i in input().split(" ")]
stones = [red,green,blue]

stones.sort()
minCount = min(stones)
result = minCount
stones.pop(0)
stones = [i - minCount for i in stones]

#個数が最も多い色の石を２個使って0個になった石に変更したのちにアクセサリを作成する
#つまり、個数が最も多い色の石は一回アクセサリを作るごとに3個消費される
#また、個数が2番目に多い石の数も0個になっていた場合は、一回アクセサリを作るごとに5個消費されることになる

while(True):
    if stones[1] - 2 >= 1 and stones[0] >= 1:
        stones[1] -= 3
        stones[0] -= 1
        result += 1
        stones.sort()
    elif stones[1] - 4 >= 1:
        stones[1] -= 5
        result += 1
    else:
        break   

#print(stones)
print(result)