#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
typedef long long ll;

int main() {
    // ifstream in("data1.txt");
    // cin.rdbuf(in.rdbuf());
    int L, M, N;
    cin >> L >> M >> N;
    int ans = 0;

    if(N >= 25){
        M = M + N / 25;
        ans += N % 25;
    } else {
        ans += N;
    }

    if(M >= 4){
        L = L + M / 4;
        ans += M % 4;
    } else {
        ans += M;
    }


    if(L >= 10){
        ans += L % 10;
    } else {
        ans += L;
    }

    cout << ans << endl;
}