#include <bits/stdc++.h>                                                                             
                                                                                                     
using namespace std;                                                                                 
                                                                                                     
int main(int argc, char *argv[]) {                                                                   
    string s1, s2;                                                                                   
    cin >> s1 >> s2;                                                                                 
                                                                                                     
    bool s1ok(false);                                                                                
    if (s1 == "Sun" || s1 == "Sat") {                                                                
        s1ok = true;                                                                                 
    }                                                                                                
    bool s2ok(false);                                                                                
    if (s2 == "Sun" || s2 == "Sat") {                                                                
        s2ok = true;                                                                                 
    }                                                                                                
                                                                                                     
    if (s1ok && !s2ok) {                                                                             
        cout << "8/32" << endl;                                                                      
    } else if (s1ok && s2ok) {                                                                       
        cout << "8/33" << endl;                                                                      
    } else {                                                                                         
        cout << "8/31" << endl;                                                                      
    }                                                                                                
                                                                                                     
        return 0;                                                                                    
}