#include <bits/stdc++.h>
using namespace std;

int main() {
    int v1, v25, v100;
    int ans = 0;
    int tmp;

    cin >> v100 >> v25 >> v1;

    ans += v1 % (25 / 1);
    v25 += v1 / (25 / 1);

    ans += v25 % (100 / 25);
    v100 += v25 / (100 / 25);
    
    ans += v100 % (1000 / 100);

    cout << ans << "\n";

    return 0;
}