#include <bits/stdc++.h>
#define rep(i,n) for(int i=0;i<(n);++i)
#define all(a) (a).begin(),(a).end()
using namespace std;
typedef long long ll;

int gauss(double a) {
	int k = a;
	return k;
}

int f(int n, int k) {
	int res = 50 * n + gauss(250 * n / (4 + k));
	return res;
}

int main() {
	ios::sync_with_stdio(false);
	cin.tie(0);
	int a, b;
	cin >> a >> b;
	int ans = f(a, b);
	cout << ans << endl;
	return 0;
}