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

int main(){
	int N, K;
	cin >> N >> K;
	printf("%d\n", 50 * N + 250 * N / (4 + K));
	return 0;
}