# submissions/50616 を参考に再作成
ns = gets.split.map(&:to_i).sort
ans = 0

min = ns[0]
ns.map!{|n| n - min}
ans += min

while ns[1] >= 1 && ns[2] >= 3 do
  ns[1] -= 1
  ns[2] -= 3
  ans += 1
  ns[1], ns[2] = ns[2], ns[1] if ns[1] > ns[2]
end

ans += ns[2] / 5

puts ans