ll@N,@M,c[N]{},v;rep(M)rd(v),c[v]++,rd(v),c[v]++;set<ll>S,T;rep(3)rd(v),S.insert(v);rep(v,N)if(c[v]>1)T.insert(v);wt(M>4||T.size()>2&&S!=T?"Yes":"No");