// No.445 得点
// https://yukicoder.me/problems/no/445
//

#include <iostream>
using namespace std;

int solve(int N, int K);


int main() {
    std::cin.tie(nullptr);
    std::ios::sync_with_stdio(false);

    int A, B;
    cin >> A >> B;
    int ans = solve(A, B);
    cout << ans << endl;
}

int solve(int N, int K) {
    return static_cast<int>(50 * N + (50 * N) / (0.8 + 0.2 * K)); 
}