#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

int main() {
  double a, b;
  cin >> a >> b;
  ll left = 50 * a;
  ll right = (250. * a) / (4. + b);
  ll ans = left + right;
  cout << ans << '\n';
  return 0;
}