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