#include <bits/stdc++.h>
int main() {
  int n, k;
  scanf("%d%d", &n, &k);
  if (!n)
    puts("0");
  else {
    int n1 = n / k, n2 = n % k;
    if (n1 == 1) {
      ++n1;
      n2 = 0;
    }
    if (n2) n2 = 1;
    int ans = (n1 + n2) * 5;
    if (ans < 10) ans = 10;
    printf("%d", ans);
  }
  return 0;
}
