#include <stdio.h>

int main(void) {
	int n, k;
	int f;
	scanf("%d%d", &n, &k);
	f = 50 * n + (int)(50 * n / (0.8 + 0.2 * k));
	printf("%d", f);
	
	return 0;
}