#include <cstdio>
using namespace std;

int main() {
    int a, b, c;
    scanf("%d %d %d", &a, &b, &c);
    int z = a * 0.2 + b * 0.3 + c * 0.5;
    printf("%d", z);
    return 0;
}
/**************************************************************
	Problem: 1565
	User: huangcanwu
	Language: C++
	Result: Accepted
	Time:23 ms
	Memory:1144 kb
****************************************************************/