#include<bits/stdc++.h>
using namespace std;
#define int long long

signed main(){
	int a, b;
	cin >> a >> b;
	int ans = 50 * a + (100 * 50 * a) / (80 + 20 * b);
	cout << ans << endl;
}