#include <stdio.h>
int main(void){
	int A, B;
	scanf("%d%d",&A, &B);
	
	int tmp = 50 * A / B;
	int ans = 50 * B + tmp;
	
	printf("%d",ans);
}