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

int main() {
    int n,k;
    cin>>n>>k;
    int result=50*n+(50*n)/(0.8+0.2*k);
    cout<<result<<endl;

    system("pause");
}