#include <stdio.h>
int main()
{
	int A,B,C,sum;
	scanf("%d%d%d",&A,&B,&C);
	sum=A*0.2+B*0.3+C*0.5;
	printf("%d",sum);
	return 0;
}