문제

지현이는 직육면체 모양의 상자를 생산하는 공장에서 일하고 있다. 상자의 전개도는 $w\times h$ 크기의 직사각형 판지에서 잘라내진다. 이 전개도는 변들이 판지의 변과 평행한 다각형 형태다. 전개도는 여러 선을 따라 접히고, 결과적으로 만들어지는 직육면체의 모서리를 따라 연결되어 상자가 된다. 이때 전개도는 오직 상자의 모서리를 따라서만 접힌다.

지현이의 업무는 $a\times b\times c$ 크기의 상자를 만들 수 있는 전개도를 $w\times h$ 크기의 판지에서 잘라낼 수 있는지 확인하는 것이다. 지현이를 도와주는 프로그램을 작성해 보자!

입력

첫째 줄에 세 정수 $a$, $b$, $c$가 공백으로 구분되어 주어진다.

둘째 줄에 두 정수 $w$, $h$가 공백으로 구분되어 주어진다.

모든 정수는 양의 정수이며 $10^8$를 넘지 않는다.

출력

$a\times b\times c$ 크기의 상자를 $w\times h$ 크기의 판지에서 잘라낼 수 있다면 Yes를, 그렇지 않다면 No를 출력한다.

예제 입력 1

1 2 3
6 5

예제 출력 1

Yes

예제 입력 2

1 2 3
5 5

예제 출력 2

No

예제 입력 3

1 1 1
10 2

예제 출력 3

Yes

노트

정육면체의 경우 아래와 같이 서로 다른 11개의 전개도가 존재한다. (회전과 반전을 무시했을 경우)