#include <bits/stdc++.h>
using namespace std;

int main() {
    
    // 1. 入力情報取得.
    string S1, S2;
    cin >> S1 >> S2;
    
    // 2.  8/32,  8/33 を チェック.
    string ans = "8/31";
    if(S1 == "Sat" && S2 == "Sun") ans = "8/33";
    if(S1 == "Sun" && S2 == "Sat") ans = "8/33";
    if(S1 == "Sat" && (S2 != "Sat" && S2 != "Sun")) ans = "8/32";
    if(S1 == "Sun" && (S2 != "Sat" && S2 != "Sun")) ans = "8/32";
    
    // 3. 後処理.
    cout << ans << endl;
    return 0;
    
}