v = sorted(map(int, input().split()))
ans = v[0]
for i in range(3):
    v[i] -= ans
t = min(v[1], (v[2] - v[1]) // 2)
ans += t
v[1] -= t
v[2] -= (t * 3)
t = v[1] // 4
ans += t * 2
v[1] %= 4
v[2] -= t * 3
t = min(v[1], v[2] // 3)
ans += t
v[1] -= t
v[2] -= t * 3
print(ans + v[2] // 5)