#include <cstdio>
using namespace std;
int a, b, c;
int main()
{
scanf("%d%d%d", &a, &b, &c);
printf("%.0lf", a * 0.2 + b * 0.3 + c * 0.5);
return 0;
}
#include <cstdio>
using namespace std;
int a, b, c;
int main()
{
scanf("%d%d%d", &a, &b, &c);
printf("%.0lf", a * 0.2 + b * 0.3 + c * 0.5);
return 0;
}