#include<iostream>
using namespace std;

int main(){
    int n , k;
    cin >> n >> k;
    cout << 50*n + 250*n/(4+k) << endl;
    return 0;
}