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

int main() {
   long l,m,n;
   int sum = 0;

   cin >> l >> m >> n;

    // 1￥ → 25￥
   m += (n/25);
   l += (m/4);

   // ￥25→￥100
   sum += l/1000 + l;

   cout << to_string(sum) << endl;



    return 0;
}