NOI：1725 不吉利日期

#include <stdio.h>
#include <iostream>
#include <vector>
using namespace std;
int date[12]={31,28,31,30,31,30,31,31,30,31,30,31};
int w;
vector<int> month;
int size;
int main(){
    size=0;
    cin>>w;
    w=(w+12)%7;
    if(w==5){size++;
        month.push_back(1);
    }
    for(int i=0;i<11;i++){
        w=(w+date[i])%7;
        if(w==5){size++;
            month.push_back(i+2);
        }
    }
    for(int i=0;i<size;i++){
        cout<<month[i]<<endl;
    }
}