#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using ll=long long;
using vll=vector<ll>;
using pll=pair<ll,ll>;


int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
    ll L,M,N,r=0;
    cin>>L>>M>>N;
    M+=N/25;
    r+=N%25;
    L+=M/4;
    r+=M%4;
    r+=L%10;
    cout<<r<<endl;

}