#include <stdio.h>

int main()
{
	int a, b, c;
	scanf("%d %d %d", &a ,&b ,&c);
	int s = 0;
	s = a * 0.2 + b * 0.3 + c * 0.5;
	printf("%d", s);
	return 0;
}