#include <stdio.h>

int main() {
    float A,B,C, S = 0;
    scanf("%f %f %f", &A, &B, &C);
    S = A*0.2 + B*0.3 + C*0.5;
    printf("%.0f", S);
    return 0;
}