#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;

int a, b;

int main() {
  cin >> a >> b;
  cout << 50 * a + floor((50.0 * a) / (0.8 + 0.2 * b)) << endl;
  return 0;
}