#include <iostream>
using namespace std;
int main() {
	int one, quarter, hundred, thousand = 0;
	cin >> hundred >> quarter >> one;
	while (one >= 25) {
		quarter++;
		one -= 25;
	}
	while (quarter >= 4) {
		thousand++;
		quarter -= 4;
	}
	while (hundred >= 10) {
		thousand++;
		hundred -= 10;
	}
	cout << one + quarter + hundred + thousand << endl;
}