#include <stdio.h>

int main(){
  int coin1 = 0;
  int coin25 = 0;
  int coin100 = 0;

  scanf("%d",&coin1);
  scanf("%d",&coin25);
  scanf("%d",&coin100);

  int i = coin1/25;
  coin1 = coin1%25;
  coin25 += i;

  i = coin25/4;
  coin25 = coin25%4;
  coin100 += i;

  i = coin100/10;
  coin100 = coin100%10;

  printf("%d\n", coin1 + coin25 + coin100);
}