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