세종이와 세 종이

세종이는 종이 세 장을 가지고 있다. 각각의 종이는 $1 \times 2$ 크기이고, $1 \times 1$ 크기의 정사각형 $2$개를 이어 붙인 형태이다. 이 $6$개의 정사각형에는 각각 $1$부터 $6$까지의 서로 다른 정수가 하나씩 양면에 모두 적혀있다.

올바른 주사위를 정육면체의 각 면에 $1$부터 $6$까지의 서로 다른 정수가 하나씩 적혀 있고, 서로 마주 보는 면에 적혀 있는 두 수의 합이 $7$인 주사위로 정의하자. 세종이가 가지고 있는 세 종이를 정사각형의 변끼리 적절히 이어 붙인 뒤, 각 정사각형이 정육면체의 한 면이 되도록 접어서 올바른 주사위를 만들 수 있는지 판정해 보자.

첫 번째 줄에 세종이가 가진 첫 번째 종이에 적힌 두 수를 의미하는 두 정수 $a_1$, $a_2$가 공백으로 구분되어 주어진다. $(1 \le a_1, a_2 \le 6)$

두 번째 줄에 세종이가 가진 두 번째 종이에 적힌 두 수를 의미하는 두 정수 $b_1$, $b_2$가 공백으로 구분되어 주어진다. $(1 \le b_1, b_2 \le 6)$

세 번째 줄에 세종이가 가진 세 번째 종이에 적힌 두 수를 의미하는 두 정수 $c_1$, $c_2$가 공백으로 구분되어 주어진다. $(1 \le c_1, c_2 \le 6)$

입력으로 주어지는 $6$개의 정수는 모두 다르다.

첫 번째 줄에 세종이가 세 종이를 적절히 이어 붙여서 올바른 주사위를 만들 수 있다면 Yes를, 그렇지 않다면 No를 출력한다.