#include<bits/stdc++.h>
using namespace std;
int main()
{
    int a,b,c;
    scanf("%d%d%d",&a,&b,&c);
    int x=a*0.2+b*0.3+c*0.5;//第一次强制转化
    printf("%d",x);
}
/**************************************************************
	Problem: 1565
	User: admin
	Language: C++
	Result: Accepted
	Time:31 ms
	Memory:2076 kb
****************************************************************/