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

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