#include <iostream>
using namespace std;
int main(void){
 double A,B;
 cin >> A >> B;
 cout << 50*A+(int)((50*A)/(0.8+0.2*B)) << endl;
 return 0;
}