#include <bits/stdc++.h>
using namespace std;
const int maxn = 3010;
bool vis[maxn];
int d[maxn][maxn], ceng[maxn];
vector<int> edge[maxn];
void add(int x, int y) {
  edge[x].push_back(y);
  edge[y].push_back(x);
}
void bfs(int s) {
  memset(vis, false, sizeof(vis));
  queue<int> qu;
  qu.push(s);
  vis[s] = true;
  ceng[s] = 0;
  d[s][s] = 0;
  int x, i;
  while (!qu.empty()) {
    x = qu.front();
    qu.pop();
    for (i = 0; i < edge[x].size(); i++) {
      if (!vis[edge[x][i]]) {
        ceng[edge[x][i]] = ceng[x] + 1;
        d[s][edge[x][i]] = ceng[edge[x][i]];
        qu.push(edge[x][i]);
        vis[edge[x][i]] = true;
      }
    }
  }
}
int main(void) {
  int n, m, i, j, u, v, ans, s1, t1, d1, s2, t2, d2;
  scanf("%d%d", &n, &m);
  for (i = 1; i <= m; i++) {
    scanf("%d%d", &u, &v);
    add(u, v);
  }
  scanf("%d%d%d%d%d%d", &s1, &t1, &d1, &s2, &t2, &d2);
  for (i = 1; i <= n; i++) {
    bfs(i);
  }
  if (d[s1][t1] > d1 || d[s2][t2] > d2) {
    printf("-1\n");
    return 0;
  }
  ans = d[s1][t1] + d[s2][t2];
  for (i = 1; i <= n; i++) {
    for (j = 1; j <= n; j++) {
      if (d[s1][i] + d[i][j] + d[j][t1] <= d1 &&
          d[s2][i] + d[i][j] + d[j][t2] <= d2) {
        ans = min(ans, d[s1][i] + d[i][j] + d[j][t1] + d[s2][i] + d[j][t2]);
      }
      if (d[t1][i] + d[i][j] + d[j][s1] <= d1 &&
          d[s2][i] + d[i][j] + d[j][t2] <= d2) {
        ans = min(ans, d[t1][i] + d[i][j] + d[j][s1] + d[s2][i] + d[j][t2]);
      }
      if (d[s1][i] + d[i][j] + d[j][t1] <= d1 &&
          d[t2][i] + d[i][j] + d[j][s2] <= d2) {
        ans = min(ans, d[s1][i] + d[i][j] + d[j][t1] + d[t2][i] + d[j][s2]);
      }
      if (d[t1][i] + d[i][j] + d[j][s1] <= d1 &&
          d[t2][i] + d[i][j] + d[j][s2] <= d2) {
        ans = min(ans, d[t1][i] + d[i][j] + d[j][s1] + d[t2][i] + d[j][s2]);
      }
    }
  }
  printf("%d\n", m - ans);
  return 0;
}
