#include <iostream>
using namespace std;
int main(void) {
	int a, b;
	cin >> a >> b;
	int c = 250 * a / (4 + b);
	cout << 50 * a + c << endl;
	return 0;
}