#include <bits/stdc++.h>
using namespace std;
int a, b, c, d, e, f;
int main() {
  cin >> a >> b >> c >> d >> e;
  while (a >= 1 && b >= 1 && c >= 2 && d >= 7 && e >= 4) {
    f++;
    a--;
    b--;
    c--;
    c--;
    d--;
    d--;
    d--;
    d--;
    d--;
    d--;
    d--;
    e--;
    e--;
    e--;
    e--;
  }
  cout << f;
}
