#include using namespace std; using ll = long long; int main() { ios::sync_with_stdio(false); cin.tie(nullptr); ll N, K; cin >> N >> K; cout << 50 * N + 250 * N / (4 + K) << "\n"; }