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