#include <bits/stdc++.h>
using namespace std;

int main()
{
	int a, b, c, d;
	cin >> a >> b >> c;

	d = a * .2 + b * .3 + c * .5;

	cout << d << endl;
	return 0;
}