#include <bits/stdc++.h>
using namespace std;

int main(){
    int N, K, pt;

    cin >> N >> K;

    pt = 50*N + floor(50*N*10/(8 + 2*K));

    cout << pt << endl;


    return 0;
}