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


int main(){
	int n,k;
	cin >> n >> k;
	cout << 50*n+(50*n)/(0.8+0.2*k) << endl;
	return 0;
}