判无解的方法非常粗暴：快T了还是没有合法方案，就是无解。

然后枚举答案，对于每一天都建一套太空站，s连地球，t连月球，上一天的太空站连向这一天的太空站，流量均为inf。然后对于每个飞船，上一天的停靠站向这一天的停靠站连边，流量为p。每次新增一天都新建一套，然后跑一次dinic加给tot，等tot>=k，当前枚举的天数就是答案。

#include
    
     #include
     
      #include
      
       #include
       
        using namespace std;const int N=500005,inf=1e9;int n,m,k,p[55],a[55][55],le[N],h[N],cnt,s,t,c[55];struct qwe{    int ne,to,va;}e[N*20];int read(){    int r=0,f=1;    char p=getchar();    while(p>'9'||p<'0')    {        if(p=='-')            f=-1;        p=getchar();    }    while(p>='0'&&p<='9')    {        r=r*10+p-48;        p=getchar();    }    return r*f;}void add(int u,int v,int w){    cnt++;    e[cnt].ne=h[u];    e[cnt].to=v;    e[cnt].va=w;    h[u]=cnt;}void ins(int u,int v,int w){    add(u,v,w);    add(v,u,0);}bool bfs(){    queue
        
         q;    memset(le,0,sizeof(le));    le[s]=1;    q.push(s);    while(!q.empty())    {        int u=q.front();        q.pop();        for(int i=h[u];i;i=e[i].ne)            if(e[i].va>0&&!le[e[i].to])            {                le[e[i].to]=le[u]+1;                q.push(e[i].to);            }    }    return le[t];}int dfs(int u,int f){    if(u==t||!f)        return f;    int us=0;    for(int i=h[u];i&&us
         
          0&&le[e[i].to]==le[u]+1) { int t=dfs(e[i].to,min(e[i].va,f-us)); e[i].va-=t; e[i^1].va+=t; us+=t; } if(!us) le[u]=0; return us;}int dinic(){ int re=0; while(bfs()) re+=dfs(s,inf); return re;}int main(){ n=read(),m=read(),k=read(); n+=2; for(int i=1;i<=m;i++) { p[i]=read();c[i]=read(); for(int j=0;j
          
           =k) { printf("%d\n",i); return 0; } } // } puts("0"); return 0;}