package main

import (
	"bufio"
	"fmt"
	"os"
	"regexp"
	"strconv"
)

var reg = regexp.MustCompile("^(dream(er)?|eraser?)+$")

func main() {
	nextReader = newScanner()

	a := nextString()
	b := nextString()

	if isHoliday(a) && isHoliday(b) {
		fmt.Println("8/33")
		return
	}

	if isHoliday(a) && !isHoliday(b) {
		fmt.Println("8/32")
		return
	}

	fmt.Println("8/31")

}

func isHoliday(s string) bool {
	return s == "Sun" || s == "Sat"
}

var nextReader func() string

func newScanner() func() string {
	r := bufio.NewScanner(os.Stdin)
	r.Buffer(make([]byte, 1024), int(1e+11))
	r.Split(bufio.ScanWords)
	return func() string {
		r.Scan()
		return r.Text()
	}
}
func nextString() string {
	return nextReader()
}
func nextInt64() int64 {
	v, _ := strconv.ParseInt(nextReader(), 10, 64)
	return v
}
func nextInt() int {
	v, _ := strconv.Atoi(nextReader())
	return v
}
func nextInts(n int) []int {
	r := make([]int, n)
	for i := 0; i < n; i++ {
		r[i] = nextInt()
	}
	return r
}
func nextInt64s(n int) []int64 {
	r := make([]int64, n)
	for i := 0; i < n; i++ {
		r[i] = nextInt64()
	}
	return r
}
func nextFloat64() float64 {
	f, _ := strconv.ParseFloat(nextReader(), 64)
	return f
}

func maxInt(a, b int) int {
	if a > b {
		return a
	} else {
		return b
	}
}