#include <iostream>

int main()
{
    int L,M,N,Amount=0;
    std::cin >> L >> M >> N;
    while (N >= 25) {
        N -= 25;
        M += 1;
    }

    while (M >= 4) {
        M -= 4;
        L += 1;
    }

    while (L >= 10) {
        L -= 10;
    }

    Amount = L + M + N;

    std::cout << Amount << std::endl;
    
    return 0;
}