#include<stdio.h>
    int main(){
        int L, M, N, i, j, k;
            scanf("%d", &L);
                scanf("%d", &M);
                    scanf("%d", &N);
        if(L >= 25){
            for(i = 0; L - 25 * i >= 0; i++);
        }else{}
            if(M >= 4){
                for(j = 0; M - 4 * j >= 0; j++);
            }else{}
                if(N >= 10){
                    for(k = 0; N - 10 * k >= 0; k++);
                }else{}
        printf("%d\n", ((L - 25 * i) * 1) + ((i + M - 4 * j) * 25) + ((j + N - 10 * k) * 100) + 1000 * k);
    return 0;
    }