#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int main(){
  int l,m,n,ans=0;
  cin>>n>>m>>l;
  m+=l/25;
  ans+=l%25;
  n+=m/4;
  ans+=m%4;
  ans+=n%10;
  cout<<ans<<endl;
  return 0;
}