#include"bits/stdc++.h"
using namespace std;
int main() {
	int n, k; cin >> n >> k;
	cout << 50 * n + (int)(500 * n / (8 + 2 * k)) << endl;
}