ns = gets.split.map(&:to_i).sort
ans = 0

# [1, 1, 1]から1個を作る。
mk = ns[0]
ns.map!{|n| n - mk}
ans += mk

# [0, 1, 3]から1個を作る。
# ただし、ns[1] <= ns[2]は維持する。
mk = [(ns[2] - ns[1]) / 2, ns[1]].min
ns[1] -= mk
ns[2] -= mk * 3
ans += mk

# [0, 4, 4]から2個を作る。
mk = [ns[1] / 4, ns[2] / 4].min * 2
ns[1] -= mk * 2
ns[2] -= mk * 2
ans += mk

# [0, 0, 5]から1個を作る
mk = ns[2] / 5
ns[2] -= mk * 5
ans += mk

# [0, 1 ,3]から1個を作る
mk = ns[1] >= 1 && ns[2] >= 3 ? 1 : 0
ns[1] -= mk
ns[2] -= mk * 3
ans += mk

puts ans