#include "iostream"
using namespace std;

float N, K;
int ans;

int main() {
	cin >> N>>K;
	ans = 50 * N + ((50 * N) / (0.2*K+0.8));

	cout << ans<<"\n";
	return 0;
}