#include<stdio.h>

int main(void){
	double t;
	int a,b,r;
	scanf("%d%d",&a,&b);
	t = 50*a/(0.8f+0.2f*b);
	r = t;
	r+=(50*a);
	printf("%d\n",r);
	return 0;
}