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