#include <iostream>

using namespace std;

int main()
{
    int n, k;
    cin >> n >> k;
    int ret = 50 * n + ((50.0*n)/(0.8+0.2*k));
    cout << ret << "\n";
    return 0;
}