#include <stdio.h>

int main(){
	int A,B;
	scanf("%d %d",&A,&B);

	int calc;
	calc = 50*A + ((50*A)/(0.8+0.2*B));

	printf("%d\n",calc);
	return 0;
}