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

int main() {
	ios::sync_with_stdio(false);
	cin.tie(0); 
	double a, b;
	cin >> a >> b;
	cout << a * 50 + floor(50 * a /(0.8 + b / 5)) << endl;
	return 0;
}