#include<stdio.h>

int main(){
  int hund,ten,one;
  int count=0;

  scanf("%d",&hund);
  scanf("%d",&ten);
  scanf("%d",&one);

  ten += one/25;
  count += one%25;

  hund += ten/4;
  count += ten%4;

  count += hund%10;

  printf("%d",count);

  return 0;

}