#include <iostream>
#include <list>
#include <vector>
#include <string>
#include <stdio.h>
#include <stdint.h>
#include <iomanip>
using namespace std;

using uint = unsigned int;
using ll = long long;

#define CIN( LL , A ) LL A; cin >> A 
#define GETLINE( A ) string A; getline( cin , A ) 
#define FOR_ITR( ARRAY , ITR , END ) for( auto ITR = ARRAY .begin() , END = ARRAY .end() ; ITR != END ; ITR ++ ) 

int main()
{

  CIN( string , S1 );
  CIN( string , S2 );
  const string Sat = "Sat";
  const string Sun = "Sun";
  string answer;
  
  if( S1 == Sat || S1 == Sun ){

    if( S2 == Sat || S2 == Sun ){

      answer = "8/33";

    } else {

      answer = "8/32";

    }
  
  } else {

    answer = "8/31";

  }
  
  cout << answer << endl;
  return 0;

}