#include <stdio.h>

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

        scanf("%d%d%d", &l, &m, &n);
        while(1){
                if(n >= 25){
                        m++;
                        n -= 25;
                }
                else if(m >= 4){
                        l++;
                        m -= 4;
                }
                else if(l >= 10)
                        l -= 10;
                else break;
        }
        printf("%d\n", l + m + n);

        return 0;
}