#include <bits/stdc++.h>

using namespace std;

int main(void)
{
	cin.tie(0);
	ios::sync_with_stdio(false);

	long long int A,B;

	cin >> A >> B;

	long long int res = 50*A;

	long long int X = 500*A;
	long long int Y = 8 + 2*B;
	res += (X/Y);

	cout << res << '\n';
	
	return 0;
}