#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 += m*25/100;
    m -= (25*m/100)*4;
    //nの枚数
    n -= (100*n/1000)*10;
    cout << l + m + n << endl;
}