#include <iostream>
using namespace std;

int main(){
	int a, b;
	cin >> a >> b;
	cout << 50 * a + 500 * a / (8 + 2 * b) << endl;
}