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

int main(){
	cin.tie(0),ios::sync_with_stdio(false);
	int a,b; cin>>a>>b;
	cout<<50*a+(int)(500*a/(8+2*b))<<"\n"s;
}