#include <bits/stdc++.h>
using namespace std;
int main(){
	int a,b,c,grade;
	scanf("%d%%d%d",&a,&b,&c);
	grade==a*20/100+b*30/100+c*50/100;
	printf("%d",grade);
	return 0;
}