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

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

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

    return 0;
}