#include <stdio.h> int main(){ int s,k,g,q; scanf("%d%d%d%d",&s,&k,&g,&q); float z = 0.2s+0.1k+0.2g+0.5q; printf("%.1f",z); return 0; }