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

X.sort()
ans = 0

ans += X[0]

X[1] -= X[0]

X[2] -= X[0]

if X[2] >= 3 * X[1]:
    
    X[2] -= 3 * X[1]
    
    ans += X[1]
    
    ans += X[2] // 5
    
else:
    
    x = (X[2] - X[1]) // 2
    
    ans += x
    
    X[2] -= 3 * x
    
    X[1] -= x
    
    ans += X[1] // 4 * 2
    
    X[1] %= 4
    
    X[2] = (X[2] - 1) % 4 + 1
    
    ans += (X[2] + X[1] - 1) // 4
    
print(ans)