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

typedef long long ll;
#define all(x) (x).begin(),(x).end()
const int mod=1000000007,MAX=100003;

int main(){

    string S,T;cin>>S>>T;
    if(S=="Sat"||S=="Sun"){
        if(T=="Sat"||T=="Sun") cout<<"8/33"<<endl;
        else cout<<"8/32"<<endl;
    }else cout<<"8/31"<<endl;
    
}