#include using namespace std; typedef long long ll; int main() { int a, b; cin>>a>>b; cout << 50*a+int(50*a/(0.8+0.2*b)) << endl; return 0; }