#include <bits/stdc++.h>
using namespace std;
int main() {
  int a, b, c, d, e;
  scanf("%d%d%d%d%d", &a, &b, &c, &d, &e);
  c /= 2;
  d /= 7;
  e /= 4;
  int mi = 11110000;
  if (a < mi) mi = a;
  if (b < mi) mi = b;
  if (c < mi) mi = c;
  if (d < mi) mi = d;
  if (e < mi) mi = e;
  printf("%d", mi);
  return 0;
}
