#include using namespace std; int main(void) { int a, b; cin >> a >> b; cout << 50 * a + 500 * a / (8 + 2 * b) << endl; return 0; }