#include    <stdio.h>

int main(void)
{
    int l, m, n;
    int s;

    scanf("%d", &l);
    scanf("%d", &m);
    scanf("%d", &n);

    s = n % 25;
    m += (n / 25);
    s += (m % 4);
    l += (m / 4);
    s += (l % 10);
    printf("%d\n", s);

    return 0;
}