#include <stdio.h>
int main(){
    int a,b,c,d;
    scanf("%d%d%d%d",&a,&b,&c,&d);
    float sum;
    sum=a*.2+b*.1+c*.2+d*.5;
    printf("%.1f",sum);
    return 0;
}