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

int main()
{
    long long a,b;
    cin >> a >> b;

    cout << 50 * a + (int)((50 * a) / (0.8 + 0.2 * b) + 0.00001) << endl;

    return 0;
}