#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, k, r, g, b, p;
  scanf("%d %d", &n, &k);
  p = ceil(2.0 * n / k) + ceil(5.0 * n / k) + ceil(8.0 * n / k);
  printf("%d\n", p);
  return 0;
}
