#include<bits/stdc++.h>
using namespace std;
#define int long long 
const int N=2200,M=1e5+5,INF=1e9;
struct nod{
	int to,nxt,f;
}e[M*2];
int head[N],cnt=1;
void add(int u,int v,int f){
	e[++cnt]={v,head[u],f};
	head[u]=cnt;
}
void qadd(int u,int v,int f){
//	cout<<" "<<u<<" "<<v<<" "<<f<<endl;
	add(u,v,f);
	add(v,u,0);
}

int siz,st,ed;

int dis[N];
queue <int> q;
bool bfs(){
	for(int i=1;i<=siz;i++) dis[i]=INF;
	dis[st]=0;
	q.push(st);
	while(q.size()){
		int u=q.front(); q.pop();
		for(int i=head[u];i;i=e[i].nxt){
			int v=e[i].to;
			if(!e[i].f || dis[v]<INF) continue;
			dis[v]=dis[u]+1;
			q.push(v);
		}
	}
	return (dis[ed]<INF);
}

int cur[N];
int dfs(int u,int flow){
	if(u==ed) return flow;
	int del=flow;
	for(int i=cur[u];i && del;i=e[i].nxt){
		cur[u]=i;
		int v=e[i].to;
		if(e[i].f && dis[v]==dis[u]+1){
			int x=dfs(v,min(del,e[i].f));
			del-=x;
			e[i].f-=x,e[i^1].f+=x;
		}
	}
	return flow-del;
}
int dinic(){
	int tot=0;
	while(bfs()){
		for(int i=1;i<=siz;i++) cur[i]=head[i];
		tot+=dfs(st,INF);
	}
	return tot;
}
void clear(){
	for(int i=2;i<=cnt;i+=2) e[i].f+=e[i^1].f, e[i^1].f=0;
}

int n,m,k,S,E;
int C[N];

int ID(int x,int y,int z){
	return (x-1)*n*(k+1)+(y-1)*(k+1)+z+1;
}


signed main(){
	ios::sync_with_stdio(false);
	cin.tie(0);
	cin>>n>>m>>k>>S>>E;
	for(int i=1;i<=n;i++) cin>>C[i];
	
	st=2*n*(k+1)+1,ed=2*n*(k+1)+2; siz=ed;
	
	for(int i=1;i<=n;i++){
		for(int j=0;j<=k;j++){
			qadd(ID(2,i,j),ID(1,i,j),C[i]);
			if(j+1<=k) qadd(ID(2,i,j+1),ID(1,i,j),INF);
		}
		for(int j=0;j+1<=k;j++){
			qadd(ID(1,i,j+1),ID(1,i,j),INF);
			qadd(ID(2,i,j+1),ID(2,i,j),INF);
		}
	}
	
	for(int j=1;j+1<=k;j++) qadd(ID(1,S,j),ID(1,S,j+1),INF);
	qadd(ID(1,S,k),ed,INF);
	
	qadd(st,ID(2,E,0),INF);
	for(int j=0;j+1<=k;j++) qadd(ID(2,E,j),ID(2,E,j+1),INF);
	
	for(int i=1;i<=m;i++){
		int u,v; cin>>u>>v;
		for(int j=0;j<=k;j++){
			qadd(ID(1,v,j),ID(2,u,j),INF);
		}
	}
	
	int val=dinic();
	if(val>=INF) puts("-1");
	else{
		vector <int> ANS;
		for(int i=1;i<=n;i++){
			for(int j=0;j<=k;j++){
				int u=ID(2,i,j),v=ID(1,i,j);
				if(dis[u]<INF && dis[v]==INF){
					ANS.push_back(i);
				}
			}
		}
		cout<<ANS.size()<<'\n';
		for(int x: ANS) cout<<x<<" ";
	}
}