#include <iostream>
using namespace std;
int main(int argc, char* argv[])
{
	int A,B;
	cin>>A>>B;
	int C=50*A+(50*A)/(0.8+0.2*B);
	cout<<C<<endl;
	return 0;
}