#include <bits/stdc++.h>
#define rep(i, a, n) for(int i = a; i < n; i++)
#define int long long
using namespace std;
typedef pair<int, int> P;
const int mod = 1000000007;
const int INF = 1e18;

signed main(){
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    string s1, s2;
    cin >> s1 >> s2;
    int ans = 0;
    if(s1 == "Sat" || s1 == "Sun"){
        ans++;
        if(s2 == "Sat" || s2 == "Sun"){
            ans++;
        }
    }
    cout << "8/3" << ans + 1 << endl; 
}