#include<bits/stdc++.h>

using namespace std;

int f(int N, int K)
{
  return (50 * N + (50 * N) / (0.8 + 0.2 * K));
}

int main()
{
  int A, B;
  cin >> A >> B;
  cout << f(A, B) << endl;
}