#include <stdio.h>

int main() {
    int score1, score2, score3, score4 = 0;
    scanf("%d %d %d %d",&score1, &score2, &score3, &score4);
    printf("%.1f",score1 * 0.2 + score2 * 0.1 + score3 * 0.2 + score4 * 0.5);
    return 0;
}