#include <iostream>
using namespace std;

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

    cout << (50 * a + (500 * a) / (8 + 2 * b)) << endl;
}