#include <iostream>
using namespace std;

int main() {
	int a,b,c,d,A;
	double C,D,E;
	cin >> a >> b ;
	C = 4 + b;
	c = 250 * a / C;
	d = 50 * a + c;
	cout << d << endl;
	return 0;
}