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

signed main(){
  int n, k; cin >> n >> k;
  cout << 50 * n + floor( 50.0 * n / ( 0.8 + 0.2 * k ) + 1e-8 ) << endl;
  return 0;
}