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