#include <bits/stdc++.h>

using namespace std;

int main() {
  map<int, int> m;
  cin >> m[100] >> m[25] >> m[1];
  m[25] += m[1] / 25;
  m[1] %= 25;
  m[100] += m[25] / 4;
  m[25] %= 4;
  m[100] %= 10;
  int ans = 0;
  for (auto &e: m) {
    ans += e.second;
  }
  cout << ans << '\n';
  return 0;
}