#include <iostream>
using namespace std;

int main(){
	int a, b;
	cin >> a >> b;
	cout << 50 * a + int(50 * a / (0.8 + 0.2 * b)) << endl;
}