#include <bits/stdc++.h>
int main(void) {
  int min, i, a[10];
  for (i = 0; i < 5; i++) {
    scanf("%d", &a[i]);
  }
  min = a[0];
  a[2] /= 2;
  a[3] /= 7;
  a[4] /= 4;
  for (i = 1; i < 5; i++) {
    if (a[i] < min) {
      min = a[i];
    }
  }
  printf("%d", min);
  return 0;
}
