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

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