include <stdio.h>

int main() {

int a, b, c, sum = 0;
scanf("%d%d%d", &a, &b, &c);
sum = a * 0.2 + b * 0.3 + c * 0.5;
printf("%d", sum);
return 0;

}