#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}, ans=0;
	for(int i=0; i<3; i++) cin >> a[i];
	a[3]=0;
	for(int i=0; i<3; i++){
		ans+=a[i]%b[i];
		a[i+1]+=a[i]/b[i];
	}
	cout << ans << endl;
	return 0;
}