#include <stdio.h> #include <math.h>

int main() { int A, B, C; scanf("%d %d %d", &A, &B, &C);

double total = A * 0.2 + B * 0.3 + C * 0.5; int rounded = (int)round(total);

printf("%d\n", rounded); return 0;

}