#include<stdio.h>
int main()
{
	double a, b;
	scanf("%lf %lf", &a, &b);
	printf("%d\n", (int)(50.0 * a + (int)(50.0 * a / (0.8 + 0.2 * b))));
	return 0;
}