#include<stdio.h>

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