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

L.sort()
ans = L[0]
L[1] -= L[0]
L[2] -= L[0]
if L[1] * 2 <= L[2] - L[1]:
    ans += L[1]
    L[1] = 0
    L[2] -= 3 * L[1]
    ans += L[2] // 5
else:
    dif = L[2] - L[1]
    ans += dif // 2
    L[1] -= dif // 2
    L[2] -= dif // 2 * 3
    ans += min(L[1], L[2]) // 4 * 2
print(ans)