#include <stdio.h>

int main() {
    int a, b,c,d;
    float s;
    scanf("%d%d%d%d",&a,&b,&c,&d);
    s=0.2*a+0.1*b+0.2*c+0.5*d;
    printf("%.1f",s);   
    return 0;
}