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

int main() {
    int A, B;
    cin >> A >> B;

    cout << 50 * A + 10 * (50 * A) / (8 + 2 * B) << endl;
}