#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
using Graph = vector<vector<int>>;
using ll = long long;
//正解に近いコードはこちらに移しておく


int main() {
    int l,m,n;
    cin >> l >> m >> n;
    //lの枚数
    m += l/25;
    l %= 25;
    //mの枚数
    n += 25*m/100;
    m %= 4;
    //nの枚数
    n %= 10;
    cout << l + m + n << endl;
}