#include <stdio.h>

int main(void)
{
  /*L:100yen M:25yen N:1yen */
  int L, M, N, O, quantity;

  scanf("%d%d%d", &L, &M, &N);
  M += (int) N / 25;
  N = N % 25;
  L += (int) M / 4;
  M = M % 4;
  L = L % 10;
  quantity = L + M + N;

  printf("%d\n", quantity);

  return 0;
}