#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i,n) for(int i=0;i<n;i++)

int main(){
  int n,k;
  cin>>n>>k;
  cout<<50*n+floor((double)50*n/(0.8+0.2*k))<<endl;
  return 0;
}