#include <stdio.h>

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

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

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

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

  coin100 = coin100%10;

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