#include<stdio.h>
int main(){
    int l;
    int m;
    int n;
    
    scanf("%d%d%D",&l,&m,&n);
    while(n>=25){
        n-=25;
        m+=1;
    }
    while(m>=4){
        m-=4;
        l+=1;
    }
    while(l>=10){
        l-=10;
    }
    int g;
    g=l+m+n;
    printf("%d",g);
    
}