#include <iostream>
using namespace std;

int main() {
	double n,k;
	cin>>n>>k;
	double c;
	c=50*n;
	c/=0.8+0.2*k-(1e-10);
	int d=50*n;
	d+=int(c);
	cout<<d<<endl;
	return 0;
}