#include <bits/stdc++.h>

using namespace std;

int main(void) {
  int a, b;
  cin >> a >> b;
  cout << 50 * a + 500 * a / (8 + 2 * b) << endl;

  return 0;
}