#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() {
    int L, M, N;
    cin >> L >> M >> N;
    int ans = 0;

    M += N / 25;
    ans += N % 25;
    L += M / 4;
    ans += M % 4;
    ans += L % 10;

    cout << ans << endl;
}