#include <stdio.h>
int main()
{
int a, b, c;
scanf("%d %d %d", &a ,&b ,&c);
int s = 0;
s = a * 0.2 + b * 0.3 + c * 0.5;
printf("%d", s);
return 0;
}

#include <stdio.h>
int main()
{
int a, b, c;
scanf("%d %d %d", &a ,&b ,&c);
int s = 0;
s = a * 0.2 + b * 0.3 + c * 0.5;
printf("%d", s);
return 0;
}