#include <stdio.h>

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