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