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

int main(){
  int A,B;
  cin>>A>>B;
  int ans = 50 * A + (int)( (50*A)/( 0.8+0.2*B) );
  cout<<ans<<endl;
  return 0;
}