rgb = list(map(int,input().split()))

MIN = min(rgb)
ans = MIN
for i in range(3):
    rgb[i] -= MIN

for i in range(10 ** 7):
    rgb.sort()
    #print(rgb)
    if rgb[1] == 0:
        if rgb[2] <= 4:
            break
        rgb[2] -= 5
        ans += 1
    else:
        if rgb[2] <= 2:
            break
        rgb[2] -= 3
        rgb[1] -= 1
        ans += 1

print(ans)