#include <iostream>
using namespace std;
int main(void) {
	int a, b;
	cin >> a >> b;
	a *= 50;
	int c = a / (0.8 + (0.2 * b));
	cout <<  a + c << endl;
	return 0;
}