#include <stdio.h>

int main() {
    int L, M, N, o = 0;
    scanf("%d\n%d\n%d", &L, &M, &N);
    M += N / 25;
    N %= 25;
    L += M / 4;
    M %= 4;
    o += L / 10;
    L %= 10;
    printf("%d", L + M + N + o);
}