题解

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