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