function Main(input) {
  var lines = input.split('\n');
  var line_1 = lines[1].split(' ');
  var N = Number(lines[0]);
  var D = Number(line_1[0]);
  var X = Number(line_1[1]);
  var A = [];
  for (var i = 0; i < N; i ++) {
    A[i]=Number(lines[i + 2]);
  }
  var count = X;
  for (var i = 0; i < N; i ++) {
    count += (Math.floor(7 / A[i]) + 1);
  }
  console.log(count);
}

Main(require("fs").readFileSync("/dev/stdin", "utf8"));
