#include<stdio.h>

int main(){
	int a,b;
	scanf("%d %d",&a,&b);
	printf("%d\n",a*50+((a*250)/(4+b)));
	return 0;
}