小题解（此程序复杂，但易懂

#include<bits/stdc++.h>
using namespace std;
int main(){
    int n;
    cin>>n;
    for(int i=1;i<=12;i++){
        if(i%2==0&&i!=2&&i<7){
            if((n+13)%7==6){
                cout<<i<<endl;
            }
            n+=30;
        }
        else if(i%2==1&&i<8){
            if((n+13)%7==6){
                cout<<i<<endl;
            }
            n+=31;
        }
        else if(i%2==0&&i>7){
            if((n+13)%7==6){
		cout<<i<<endl;
            }
            n+=31;
        }
        else if(i%2==1&&i>8){
            if((n+13)%7==6){
                cout<<i<<endl;
            }
            n+=30;
        }
        else{
            if((n+13)%7==6){
                cout<<i<<endl;
            }
            n+=28;
        }
    }
    return 0;
}