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