#include<bits/stdc++.h>

using namespace std;

int main(){
  int A,B,C;
  cin >> A >> B;
  cout << (50*A + (250*A)/(4+B)) << endl;
}