Ñoùng thuøng

Baøi toaùn :
Ivan laøm vieäc taïi moät xí nghieäp saûn xuaát maùy moùc coâng nghieäp naëng. Anh ta coù moät
coâng vieäc ñôn giaûn laø duøng caùc taám goã coù kích côõ khaùc nhau ñeå ñoùng thuøng nhöõng
maùy moùc cho khaùch haøng. Moãi moät taám goã laø moät maët cuûa thuøng. Ivan duøng 6 taám goã
hình chöõ nhaät ñeå ñoùng laïi thaønh moät caùi thuøng. Moãi taám xem nhö laø moät maët cuûa
thuøng.

Joe coù nhieäm vuï phaân phaùt caùc taám goã ñoù cho Ivan. Joe khoâng ñöôïc thoâng minh cho
laém vaø thöôøng xuyeân maéc loãi laø anh ta ñem nhöõng taám maø khoâng theå gheùp laïi thaønh
moät caùi hoäp vöøa khít cho Ivan. Raát toán thôøi gian ñeå anh ta nhaän ra ñieàu ñoù.

May maén thay, Joe raát tin töôûng vaøo maùy tính vaø luoân nghó raèng noù khoâng theå maéc loãi
laàm. Ivan ñaõ söû duïng ñieàu naøy cho coâng vieäc cuûa anh ta. Ivan yeâu caàu baïn vieát moät
chöông trình cho bieát coù theå gheùp laïi thaønh moät caùi thuøng töø 6 taám goã ñaõ cho hay
khoâng.

Input :
Vaøo töø file vaên baûn BOX.INP goàm 6 doøng, doøng thöù i goàm 2 soá nguyeân wi vaø hi (1 ≤
wi, hi ≤ 10.000) moâ taû kích côõ taám goã thöù i.

Output :
Ghi ra file vaên baûn BOX.OUT chæ goàm moät töø : “YES” neáu coù theå gheùp 6 taám goã ñoù
laïi thaønh 1 caùi hoäp, ngöôïc laïi “NO” neáu khoâng theå gheùp.

Ví duï :
BOX.INP BOX.OUT
1345 2584 YES
2584 683
2584 1345
683 1345
683 1345
2584 683
1234 4567 NO
1234 4567
4567 4321
4322 4567
4321 1234
4321 1234