#include <stdio.h>

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