萌新刚学OI，SPFA，错#6

#include<bits/stdc++.h>
#define inf 0x3f3f3f3f
#define mode 9997
#define ll long long 
using namespace std;
queue<int> q;
int n,m,h[200100],x,y,l,dis[200100],vis[200100],c[200100];
ll k;
struct edge
{
	int v,w,next;
}e[800100];
inline ll quick_pow(int x,ll y)
{
	if(y==0) return 1;
	if(y==1) return x;
	ll t=quick_pow(x,y>>1)%mode;
	if(y&1) return t*t%mode*x%mode;
	else return t*t%mode;
}
inline int read()
{
	int k=0,f=0;char c=getchar();
	for(;!isdigit(c);c=getchar()) f|=c=='-';
	for(;isdigit(c);c=getchar()) k=(k<<1)+(k<<3)+(c^48);
	return f?-k:k;
}
inline void add(int x,int y,int z)
{
	e[++l].v=y;
	e[l].w=z;
	e[l].next=h[x];
	h[x]=l;
}
inline int spfa(int st)
{
	for(int i=1;i<=n;i++) dis[i]=inf;
	dis[st]=0;
	q.push(st);
    vis[st]=1;
    c[st]++;
	while(!q.empty())
	{
		int k=q.front();
		q.pop();
		vis[k]=0;
		for(int i=h[k];i;i=e[i].next)
		{
			if(dis[e[i].v]>dis[k]+e[i].w)
			{
				dis[e[i].v]=dis[k]+e[i].w;
				if(!vis[e[i].v])
				{
					c[e[i].v]++;
					q.push(e[i].v);
					vis[e[i].v]=1;
					if(c[e[i].v]>n) return 1;
				}
			}
		}
	}
	return 0;
}
int main()
{
	n=read(),m=read();
	scanf("%lld",&k);
	for(int i=1;i<=m;i++)
	{
		x=read(),y=read();
		add(x,y,-1);
	}
	if(spfa(1)) printf("No\n%lld",k*k);
	else printf("Yes\n%lld",quick_pow(2,k));
	return 0;
}