#include <iostream>
using namespace std;

int main() {
	int n, k;
	
	cin >> n >> k;
	cout << 50 * n + (int)(50 * n / (8 + 2 * k) / 10 + 1e-9) << endl;
	return 0;
}