#include <bits/stdc++.h>

int main() {
  int n, k;
  scanf("%d %d", &n, &k);
  int x = 50 * n + (50 * n * 5) / (4 + k);
  printf("%d\n", x);

  return 0;
}