#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;
typedef long long int ll;

int main(){
	int n,k; cin >> n >> k;
	cout << 50*n+(50*n*5/(4+k)) << endl;
}