#include<iostream>
#include<string>
using namespace std;

int main(){
    int A,B;
    int ans;
    cin >> A >> B;
    ans = 250*A/(4+B);
    cout << 50*A+ans;
    return 0;
}