#include <bits/stdc++.h>
using namespace std;
 
int main(){
   vector<int> money(3);
   cin>>money[0]>>money[1]>>money[2];
   while(money[2]>=25){
       money[2]-=25;
       money[1]++;
   }
   while(money[1]>=4){
       money[1]-=4;
       money[0]++;
   }
   while(money[0]>=10){
       money[0]-=10;
   }
   cout<<money[0]+money[1]+money[2]<<endl;
   
}