// Source: https://usaco.guide/general/io

#include <bits/stdc++.h>
/*
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
*/
using namespace std;
#define int long long

int strtonum(string s){
    int x=0;
    while(s[0]=='0'&&s.size()>1)s=s.substr(1,s.size()-1);
    for(int i = 0; i<=s.size()-1;i++){
        x+=s[i]-'0';
        if(i<s.size()-1)x*=2;
    }
    return x;
}

signed main() {
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
    vector<int> normalY={31,28,31,30,31,30,31,31,30,31,30,31};
    vector<int> normalLY={31,29,31,30,31,30,31,31,30,31,30,31};
    vector<int> wcY={31,30,30,31,30,30,31,30,30,31,30,31};
    vector<int> wcLY={31,30,30,31,30,31,31,30,30,31,30,31};
    int a,b,c;cin>>a>>b>>c;
    if(a%4==0&&b==7&&c==1){
        cout<<a<<' '<<6<<' '<<"SZN";return 0;
    }
    if(b==12&&c==31){
        cout<<a<<' '<<12<<" VN";return 0;
    }
    cout<<a<<' ';
    int sumdays=0;
    for(int i = 1;i<12;i++){
        normalY[i]+=normalY[i-1];
        normalLY[i]+=normalLY[i-1];
        wcY[i]+=wcY[i-1];
        wcLY[i]+=wcLY[i-1];
    }
    int B=0,C=0;
    sumdays=(a%4?normalY[b-1]+c:normalLY[b-1]+c);
    for(int i = 0;i<12;i++){
        if(a%4&&wcY[i]>sumdays){
            break;
        }
        else if(a%4==0&&wcLY[i]>sumdays)break;
        B=i;
    }
    C=sumdays-(a%4?wcY[B]:wcLY[B]);
    cout<<B+1<<' '<<C<<endl;
}