(define (sat-sun? s)
  (or (eq? s 'Sat) (eq? s 'Sun)))

(define (solve s1 s2)
  (cond [(and (sat-sun? s1) (sat-sun? s2)) "8/33"]
        [(sat-sun? s1) "8/32"]
        [else "8/31"]))

(define (main args)
  (let* ([s1 (read)]
         [s2 (read)])
    (print (solve s1 s2)))
  0)