#include <bits/stdc++.h>
using namespace std;
int a, b;
int main() {
	cin >> a >> b;
	cout << 50 * a + (int)((50.0 * a) / (0.8 + 0.2 * b) + 1.0e-6) << endl;
	return 0;
}