#include<bits/stdc++.h>
int main(){
    int n,k;std::cin>>n>>k;
    std::cout<<50*n+250*n/(4+k)<<std::endl;
}