#include <stdio.h>

int main(void)
{
	int a;
	int b;
	int q;
	int w;
	int ac;
	scanf("%d%d",&a,&b);
	q=50*a;
	w=50*a/(0.8+0.2*b);
	ac=w+q;
	printf("%d",ac);
	return 0;
}