// yukicoder: No.445 得点
// 2019.4.18 bal4u

#include <stdio.h>

int main()
{
	int A, B, ans;
	double a;
	scanf("%d%d", &A, &B);
	a = 50*A/(0.8+0.2*B);
	ans = (int)a;
	printf("%d\n", 50*A+ans);
	return 0;
}