(defn Grouping [x y]
  (if (let [ns (list x y)] (or
    (every? (partial contains? #{1 3 5 7 8 10}) ns)
    (every? (partial contains? #{4 6 9 11}) ns)
    (every? (partial = 2) ns)))
    "Yes"
    "No"))
(println (Grouping (int (read)) (int (read))))