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


int main(){
	int a,b;
	cin >> a >> b;
	cout << a*50 + 500*a/(8+2*b) << endl;
	return 0;
}