#include <bits/stdc++.h>

using namespace std;

typedef pair<int,int> P;
typedef pair<int,pair<int,int>> PP;
typedef long long ll;

const double EPS = 1e-8;
const int INF = 1e9;
const int MOD = 1e9+7;

int dy[] = {0,1,0,-1};
int dx[] = {1,0,-1,0};

int main(void) {
	int l,m,n;
	cin >> l >> m >> n;
	while(n >= 25){
		m += 1;
		n -= 25;	
	}

	while(m >= 4){
		l += 1;
		m -= 4;
	}

	int o = 0;
	while(l >= 10){
		o += 1;
		l -= 10;
	}

	cout << l+m+n << endl;

	return 0;
}