codeforce543B

//当s1,t1与s2,t2两条线路没有交点时
// ans = min(ans , m - dis[s1][t1] - dis[s2][t2])
//当s1,t1与s2,t2两条线路有交点时，则它们的交点必定是连续的
//设,x1,x2为s1,t1最短路和s2,t2最短路的交点
//那么x1,x2,必然在这两条最短路上，那么dis[x1][x2]也在这条线上
//枚举相交线段i,j，找出最小值
#include<cstdio>
#include<cstring>
#include<iostream>
#include<vector>
#include<queue>
#include<algorithm>
using namespace std ;
const int maxn  = 3010 ;
const int inf = 0x7fffffff ;
int dis[maxn][maxn] ;
int map[maxn][maxn] ;
int vis[maxn] ;
vector<int> vec[maxn] ;
void bfs(int st)
{
    memset(vis , 0 , sizeof(vis)) ;
    queue<int> que ;
    que.push(st) ;
    que.push(0) ;
    vis[st] = 1;
    while(que.size())
    {
        int u = que.front() ;que.pop() ;
        int step = que.front() ;que.pop() ;
        dis[st][u] = step ;
        for(int i = 0;i < vec[u].size();i++)
        {
            int v = vec[u][i];
            if(vis[v]) continue ;
            que.push(v);que.push(step+1) ;
            vis[v] = 1;
        }
    }
}
int main()
{
    int n , m ;
    int s1 , t1 , l1 ,s2,t2 , l2 ;
    while(~scanf("%d%d" ,&n , &m))
    {
        int a , b ;
        memset(map , 0 ,sizeof(map)) ;
        int t = m ;
        for(int i = 1; i <= m;i++)
        {
            scanf("%d%d" ,&a , &b) ;
            if(map[a][b])t-- ;
            map[a][b] = map[b][a] = 1;
            vec[a].push_back(b) ;
            vec[b].push_back(a) ;
        }
        scanf("%d%d%d%d%d%d" ,&s1 , &t1 ,&l1 ,&s2 ,&t2 ,&l2) ;
        for(int i = 1;i <= n;i++)
        bfs(i) ;
        m = t ;
        int ans = -1 ;
        for(int k = 0;k < 2;k++)
        {
            swap(s2 , t2) ;
            for(int i = 1;i <= n;i++)
              for(int j = 1;j <= n;j++)
                {
                    if(dis[s2][j] + dis[j][i] + dis[i][t2] <= l2 && dis[s1][i]+dis[i][j]+dis[j][t1] <= l1)
                    ans = max(ans , m - dis[s1][i] - dis[i][j] - dis[j][t1] - dis[s2][j] - dis[i][t2]) ;
                    if(dis[s2][t2] <= l2 && dis[s1][t1] <= l1)
                    ans = max(ans , m - dis[s2][t2] - dis[s1][t1]) ;
                }
        }
        printf("%d\n" ,ans) ;
    }
}