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 operate(A, B: var int): void =
  while A >= 3 and B >= 1:
    A -= 3
    B -= 1
    ans += 1


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

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

  operate(M, L)
  operate(L, M)

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

  echo ans


when isMainModule:
  main()