#include<bits/stdc++.h>
using namespace std;

#define REP(i,a,b) for(i=a;i<b;i++)
#define rep(i,n) REP(i,0,n)

#define mygc(c) (c)=getchar_unlocked()
#define mypc(c) putchar_unlocked(c)

void reader(int *x){int k,m=0;*x=0;for(;;){mygc(k);if(k=='-'){m=1;break;}if('0'<=k&&k<='9'){*x=k-'0';break;}}for(;;){mygc(k);if(k<'0'||k>'9')break;*x=(*x)*10+k-'0';}if(m)(*x)=-(*x);}
void reader(int *x, int *y, int *z){reader(x);reader(y);reader(z);}
void writer(int x, char c){int s=0,m=0;char f[10];if(x<0)m=1,x=-x;while(x)f[s++]=x%10,x/=10;if(!s)f[s++]=0;if(m)mypc('-');while(s--)mypc(f[s]+'0');mypc(c);}

#define INF 1000000000

int A, B, C, X;
int dp[2000000];

int main(){
  int i;
  int res = INF;
  
  reader(&A,&B,&C);
  X = A*100 + B*25 + C;
  rep(i,X+1) dp[i] = i;
  REP(i,100,X+1) dp[i] = min(dp[i], dp[i-100]+1);
  REP(i, 25,X+1) dp[i] = min(dp[i], dp[i- 25]+1);

  for(i=X%1000; i<=X; i+=1000){
    res = min(res, dp[i]);
  }

  writer(res,'\n');

  return 0;
}