#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+(500*n)/(8+2*k)<<endl;
  return 0;
}