import strutils, math


proc nextString: string =
  result = ""
  while not endOfFile stdin:
    let nextChar = readChar stdin
    case nextChar
    of '\r':
      discard
    of "\n"[0], ' ':
      break
    else:
      add result, nextChar


proc nextInt: int =
  parseInt nextString()


let
  R, G, B = nextInt()

var
  S = [R, G, B].min
  L = [R, G, B].max
  M = [R, G, B].sum - S - L
  ans = 0


proc main: void =
  (ans, S, M, L) = (S, 0, M - S, L - S)

  while true:
    let t = min(M, L div 3)
    ans += t
    M -= t
    L -= t * 3

    if L < M:
      swap(M, L)
      continue
    else:
      break

  ans += L div 5
  L -= (L div 5) * 5

  echo ans


when isMainModule:
  main()