#include <iostream>
using namespace std;
int main(){
	int A, B;
	cin >> A >> B;
	cout << 50 * A + (250 * A) / (4 + B) << endl;
}