#include <bits/stdc++.h>

using namespace std;

typedef unsigned long long ull;
typedef long long ll;

int main(){
	int a[4], b[]={25, 4, 10};
	for(int i=0; i<3; i++) cin >> a[i];
	a[3]=0;
	for(int i=0; i<3; i++){
		a[i+1]+=a[i]/b[i];
		a[i]=a[i]%b[i];
	}
	int ans=0;
	for(int i=0; i<3; i++) ans+=a[i];
	cout << ans << endl;
	return 0;
}