#include <bits/stdc++.h>
#define PI 3.14159265359
using namespace std;

int main() {
	int A, B;
	cin >> A >> B;

	int n = 50 * A;
	double m = 0.2 * B + 0.8;
	int ans = (int)n / m;
	ans += n;
	
	cout << ans << endl;
}