Tri-du

Tri-du는 트루코(Truco)에서 파생된 카드 게임이다. 52장짜리 일반 카드 한 벌을 쓰고 무늬마다 카드가 13장씩 들어 있지만, 무늬는 승패에 아무 영향을 주지 않는다. 카드의 값만 사용하며, 값은 $1$ 이상 $13$ 이하의 정수다.

한 판에서 각 플레이어는 카드를 세 장씩 받는다. 규칙은 간단하다.

• 같은 값 카드 세 장으로 이루어진 트리플은 같은 값 카드 두 장으로 이루어진 페어를 이긴다.
• 트리플끼리 맞붙으면 값이 큰 쪽이 이긴다.
• 페어끼리 맞붙으면 값이 큰 쪽이 이긴다.

승자가 나오지 않는 판도 많다. 그런 판에서는 나눠 준 카드를 모두 덱에 돌려놓고 다시 섞은 뒤 새 판을 시작한다.

한 플레이어가 받을 카드 세 장 가운데 두 장을 이미 받았고, 그 두 장의 값을 알고 있다. 이 플레이어가 판을 이길 확률을 가장 크게 만드는 세 번째 카드의 값을 구하는 프로그램을 작성하라.

첫째 줄에 이미 받은 두 카드의 값 $A$와 $B$가 공백 하나로 구분되어 주어진다. ($1 \le A \le 13$, $1 \le B \le 13$)

첫째 줄에 이길 확률을 가장 크게 만드는 세 번째 카드의 값을 정수 하나로 출력한다.