#include <iostream>
using namespace std;
int main(){
    int n,k;cin>>n>>k;
    cout << 50*n+(250*n)/(4+k) << endl;
}