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

int main() {
  vector<int> P(4); cin >> P[1] >> P[2] >> P[3];
  while(25 <= P[3]){
    P[3] -= 25;
    P[2]++;
  }
  while(4 <= P[2]){
    P[2] -= 4;
    P[1]++;
  }
  while(10 <= P[1]){
    P[1] -= 10;
    P[0]++;
  }
  cout << P[1]+P[2]+P[3] << endl;
}