#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; }