시간 제한메모리 제한제출정답맞힌 사람정답 비율
1 초 1024 MB36619516155.326%

문제

윤이는 엄청난 것을 훔쳐 갔다!

UDP 마을의 경찰인 달구와 포닉스는 윤이를 잡기 위해 출동했다. UDP 마을은 $N$개의 정점을 가진 트리 구조로 되어 있다. 트리는 $N$개의 정점과 $N-1$개의 간선으로 이루어진 연결 그래프이다. 트리에서 이웃한 정점이 하나밖에 없는 정점을 리프 노드라고 부른다.

트리의 각 정점에는 $1$번부터 $N$번까지 번호가 붙어 있다. 윤이는 정점 $a$에서 출발하고, 달구와 포닉스는 각각 정점 $b$, $c$에서 출발한다. 주어지는 세 정점은 서로 다르다. 윤이, 달구, 포닉스는 다음과 같이 번갈아 이동하며 추격전을 벌인다. 이동 도중 한 정점 위에 둘 이상이 존재해도 된다.

  • 먼저 윤이가 간선을 따라 이웃한 정점으로 이동한다.
  • 그다음 달구와 포닉스가 각각 간선을 따라 이웃한 정점으로 이동한다.

윤이는 경찰과 동일한 정점에 위치하는 즉시 경찰에게 잡힌다. 반면, 윤이가 경찰에게 잡히지 않고 리프 노드에 도달하면 즉시 이웃한 마을로 탈출할 수 있다. 윤이가 리프 노드에서 출발하는 경우도 마찬가지다.

윤이, 달구, 포닉스가 최선의 전략으로 추격전을 벌일 때, 윤이는 무사히 탈출할 수 있을까?

입력

첫 번째 줄에 UDP 마을의 정점 개수 $N$이 주어진다. ($3\le N\le 200\ 000$)

다음 $N-1$개의 줄에 트리의 간선 정보를 나타내는 정수 $u$, $v$가 주어진다. 정점 $u$와 $v$ 사이에 간선이 존재함을 나타낸다. ($1\le u,v\le N$)

그다음 줄에 윤이, 달구, 포닉스의 위치를 나타내는 정수 $a$, $b$, $c$가 주어진다. ($1\le a,b,c\le N$; $a$, $b$, $c$는 서로 다르다.)

출력

윤이가 탈출할 수 있으면 YES, 그렇지 않으면 NO를 출력한다.

예제 입력 1

8
1 2
2 3
3 4
4 5
5 6
2 7
4 8
3 1 6

예제 출력 1

YES

예제 입력 2

8
1 2
2 3
3 4
4 5
5 6
2 7
5 8
3 1 6

예제 출력 2

NO
W3sicHJvYmxlbV9pZCI6IjI3OTI0IiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiXHVjNzI0XHVjNzc0XHViMjk0IFx1YzVjNFx1Y2NhZFx1YjA5YyBcdWFjODNcdWM3NDQgXHVkNmQ0XHVjY2QwXHVhYzE0XHVjMmI1XHViMmM4XHViMmU0IiwiZGVzY3JpcHRpb24iOiI8cD5cdWM3MjRcdWM3NzRcdWIyOTQgXHVjNWM0XHVjY2FkXHViMDljIFx1YWM4M1x1Yzc0NCBcdWQ2ZDRcdWNjZDAgXHVhYzE0XHViMmU0ITxcL3A+XHJcblxyXG48cD5VRFAgXHViOWM4XHVjNzQ0XHVjNzU4IFx1YWNiZFx1Y2MzMFx1Yzc3OCBcdWIyZWNcdWFkNmNcdWM2NDAgXHVkM2VjXHViMmM5XHVjMmE0XHViMjk0IFx1YzcyNFx1Yzc3NFx1Yjk3YyBcdWM3YTFcdWFlMzAgXHVjNzA0XHVkNTc0IFx1Y2Q5Y1x1YjNkOVx1ZDU4OFx1YjJlNC4gVURQIFx1YjljOFx1Yzc0NFx1Yzc0MCAkTiRcdWFjMWNcdWM3NTggXHVjODE1XHVjODEwXHVjNzQ0IFx1YWMwMFx1YzljNCBcdWQyYjhcdWI5YWMgXHVhZDZjXHVjODcwXHViODVjIFx1YjQxOFx1YzViNCBcdWM3ODhcdWIyZTQuIFx1ZDJiOFx1YjlhY1x1YjI5NCAkTiRcdWFjMWNcdWM3NTggXHVjODE1XHVjODEwXHVhY2ZjICROLTEkXHVhYzFjXHVjNzU4IFx1YWMwNFx1YzEyMFx1YzczY1x1Yjg1YyBcdWM3NzRcdWI4ZThcdWM1YjRcdWM5YzQgXHVjNWYwXHVhY2IwIFx1YWRmOFx1Yjc5OFx1ZDUwNFx1Yzc3NFx1YjJlNC4gXHVkMmI4XHViOWFjXHVjNWQwXHVjMTFjIFx1Yzc3NFx1YzZjM1x1ZDU1YyBcdWM4MTVcdWM4MTBcdWM3NzQgXHVkNTU4XHViMDk4XHViYzE2XHVjNWQwIFx1YzVjNlx1YjI5NCBcdWM4MTVcdWM4MTBcdWM3NDQgXHViOWFjXHVkNTA0IFx1YjE3OFx1YjRkY1x1Yjc3Y1x1YWNlMCBcdWJkODBcdWI5NzhcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1ZDJiOFx1YjlhY1x1Yzc1OCBcdWFjMDEgXHVjODE1XHVjODEwXHVjNWQwXHViMjk0ICQxJFx1YmM4OFx1YmQ4MFx1ZDEzMCAkTiRcdWJjODhcdWFlNGNcdWM5YzAgXHViYzg4XHVkNjM4XHVhYzAwIFx1YmQ5OVx1YzViNCBcdWM3ODhcdWIyZTQuIFx1YzcyNFx1Yzc3NFx1YjI5NCBcdWM4MTVcdWM4MTAgJGEkXHVjNWQwXHVjMTFjIFx1Y2Q5Y1x1YmMxY1x1ZDU1OFx1YWNlMCwgXHViMmVjXHVhZDZjXHVjNjQwIFx1ZDNlY1x1YjJjOVx1YzJhNFx1YjI5NCBcdWFjMDFcdWFjMDEgXHVjODE1XHVjODEwICRiJCwgJGMkXHVjNWQwXHVjMTFjIFx1Y2Q5Y1x1YmMxY1x1ZDU1Y1x1YjJlNC4gXHVjOGZjXHVjNWI0XHVjOWMwXHViMjk0IFx1YzEzOCBcdWM4MTVcdWM4MTBcdWM3NDAgXHVjMTFjXHViODVjIFx1YjJlNFx1Yjk3NFx1YjJlNC4gXHVjNzI0XHVjNzc0LCBcdWIyZWNcdWFkNmMsIFx1ZDNlY1x1YjJjOVx1YzJhNFx1YjI5NCBcdWIyZTRcdWM3NGNcdWFjZmMgXHVhYzE5XHVjNzc0IFx1YmM4OFx1YWMwOFx1YzU0NCBcdWM3NzRcdWIzZDlcdWQ1NThcdWJhNzAgXHVjZDk0XHVhY2E5XHVjODA0XHVjNzQ0IFx1YmM4Y1x1Yzc3OFx1YjJlNC4gXHVjNzc0XHViM2Q5IFx1YjNjNFx1YzkxMSBcdWQ1NWMgXHVjODE1XHVjODEwIFx1YzcwNFx1YzVkMCBcdWI0NTggXHVjNzc0XHVjMGMxXHVjNzc0IFx1Yzg3NFx1YzdhY1x1ZDU3NFx1YjNjNCBcdWI0MWNcdWIyZTQuPFwvcD5cclxuXHJcbjx1bD5cclxuXHQ8bGk+XHViYTNjXHVjODAwIFx1YzcyNFx1Yzc3NFx1YWMwMCBcdWFjMDRcdWMxMjBcdWM3NDQgXHViNTMwXHViNzdjIFx1Yzc3NFx1YzZjM1x1ZDU1YyBcdWM4MTVcdWM4MTBcdWM3M2NcdWI4NWMgXHVjNzc0XHViM2Q5XHVkNTVjXHViMmU0LjxcL2xpPlxyXG5cdDxsaT5cdWFkZjhcdWIyZTRcdWM3NGMgXHViMmVjXHVhZDZjXHVjNjQwIFx1ZDNlY1x1YjJjOVx1YzJhNFx1YWMwMCBcdWFjMDFcdWFjMDEgXHVhYzA0XHVjMTIwXHVjNzQ0IFx1YjUzMFx1Yjc3YyBcdWM3NzRcdWM2YzNcdWQ1NWMgXHVjODE1XHVjODEwXHVjNzNjXHViODVjIFx1Yzc3NFx1YjNkOVx1ZDU1Y1x1YjJlNC48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5cdWM3MjRcdWM3NzRcdWIyOTQgXHVhY2JkXHVjYzMwXHVhY2ZjIFx1YjNkOVx1Yzc3Y1x1ZDU1YyBcdWM4MTVcdWM4MTBcdWM1ZDAgXHVjNzA0XHVjZTU4XHVkNTU4XHViMjk0IFx1Yzk4OVx1YzJkYyBcdWFjYmRcdWNjMzBcdWM1ZDBcdWFjOGMgXHVjN2ExXHVkNzhjXHViMmU0LiBcdWJjMThcdWJhNzQsIFx1YzcyNFx1Yzc3NFx1YWMwMCBcdWFjYmRcdWNjMzBcdWM1ZDBcdWFjOGMgXHVjN2ExXHVkNzg4XHVjOWMwIFx1YzU0YVx1YWNlMCBcdWI5YWNcdWQ1MDQgXHViMTc4XHViNGRjXHVjNWQwIFx1YjNjNFx1YjJlY1x1ZDU1OFx1YmE3NCBcdWM5ODlcdWMyZGMgXHVjNzc0XHVjNmMzXHVkNTVjIFx1YjljOFx1Yzc0NFx1Yjg1YyBcdWQwYzhcdWNkOWNcdWQ1NjAgXHVjMjE4IFx1Yzc4OFx1YjJlNC4gXHVjNzI0XHVjNzc0XHVhYzAwIFx1YjlhY1x1ZDUwNCBcdWIxNzhcdWI0ZGNcdWM1ZDBcdWMxMWMgXHVjZDljXHViYzFjXHVkNTU4XHViMjk0IFx1YWNiZFx1YzZiMFx1YjNjNCBcdWI5YzhcdWNjMmNcdWFjMDBcdWM5YzBcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YzcyNFx1Yzc3NCwgXHViMmVjXHVhZDZjLCBcdWQzZWNcdWIyYzlcdWMyYTRcdWFjMDAgXHVjZDVjXHVjMTIwXHVjNzU4IFx1YzgwNFx1YjdiNVx1YzczY1x1Yjg1YyBcdWNkOTRcdWFjYTlcdWM4MDRcdWM3NDQgXHViYzhjXHVjNzdjIFx1YjU0YywgXHVjNzI0XHVjNzc0XHViMjk0IFx1YmIzNFx1YzBhY1x1ZDc4OCBcdWQwYzhcdWNkOWNcdWQ1NjAgXHVjMjE4IFx1Yzc4OFx1Yzc0NFx1YWU0Yz88XC9wPlxyXG4iLCJpbnB1dCI6IjxwPlx1Y2NhYiBcdWJjODhcdWM5ZjggXHVjOTA0XHVjNWQwIFVEUCBcdWI5YzhcdWM3NDRcdWM3NTggXHVjODE1XHVjODEwIFx1YWMxY1x1YzIxOCAkTiRcdWM3NzQgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LiAoJDNcXGxlIE5cXGxlIDIwMFxcIDAwMCQpPFwvcD5cclxuXHJcbjxwPlx1YjJlNFx1Yzc0YyAkTi0xJFx1YWMxY1x1Yzc1OCBcdWM5MDRcdWM1ZDAgXHVkMmI4XHViOWFjXHVjNzU4IFx1YWMwNFx1YzEyMCBcdWM4MTVcdWJjZjRcdWI5N2MgXHViMDk4XHVkMGMwXHViMGI0XHViMjk0IFx1YzgxNVx1YzIxOCAkdSQsICR2JFx1YWMwMCBcdWM4ZmNcdWM1YjRcdWM5YzRcdWIyZTQuIFx1YzgxNVx1YzgxMCAkdSRcdWM2NDAgJHYkIFx1YzBhY1x1Yzc3NFx1YzVkMCBcdWFjMDRcdWMxMjBcdWM3NzQgXHVjODc0XHVjN2FjXHVkNTY4XHVjNzQ0IFx1YjA5OFx1ZDBjMFx1YjBiOFx1YjJlNC4gKCQxXFxsZSB1LHZcXGxlIE4kKTxcL3A+XHJcblxyXG48cD5cdWFkZjhcdWIyZTRcdWM3NGMgXHVjOTA0XHVjNWQwIFx1YzcyNFx1Yzc3NCwgXHViMmVjXHVhZDZjLCBcdWQzZWNcdWIyYzlcdWMyYTRcdWM3NTggXHVjNzA0XHVjZTU4XHViOTdjIFx1YjA5OFx1ZDBjMFx1YjBiNFx1YjI5NCBcdWM4MTVcdWMyMTggJGEkLCAkYiQsICRjJFx1YWMwMCBcdWM4ZmNcdWM1YjRcdWM5YzRcdWIyZTQuICgkMVxcbGUgYSxiLGNcXGxlIE4kOyAkYSQsICRiJCwgJGMkXHViMjk0IFx1YzExY1x1Yjg1YyBcdWIyZTRcdWI5NzRcdWIyZTQuKTxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPlx1YzcyNFx1Yzc3NFx1YWMwMCBcdWQwYzhcdWNkOWNcdWQ1NjAgXHVjMjE4IFx1Yzc4OFx1YzczY1x1YmE3NCA8c3BhbiBzdHlsZT1cImNvbG9yOiNlNzRjM2M7XCI+PGNvZGU+WUVTPFwvY29kZT48XC9zcGFuPiwgXHVhZGY4XHViODA3XHVjOWMwIFx1YzU0YVx1YzczY1x1YmE3NCA8c3BhbiBzdHlsZT1cImNvbG9yOiNlNzRjM2M7XCI+PGNvZGU+Tk88XC9jb2RlPjxcL3NwYW4+XHViOTdjIFx1Y2Q5Y1x1YjgyNVx1ZDU1Y1x1YjJlNC48XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIxIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJLb3JlYW4ifSx7InByb2JsZW1faWQiOiIyNzkyNCIsInByb2JsZW1fbGFuZyI6IjEiLCJ0aXRsZSI6Ill1bmVlIFN0b2xlIHRoZSBQcmVjaW91cyBUaGluZyIsImRlc2NyaXB0aW9uIjoiPHA+WXVuZWUgc3RvbGUgdGhlIHByZWNpb3VzIHRoaW5nITxcL3A+XHJcblxyXG48cD5EYWxnb28gYW5kIFBvbml4LCBwb2xpY2UgaW4gVURQIHZpbGxhZ2UsJm5ic3A7d2VyZSBkaXNwYXRjaGVkIHRvIGNhdGNoIFl1bmVlLiBVRFAgdmlsbGFnZSBoYXMgYSB0cmVlIHN0cnVjdHVyZSBjb25zaXN0aW5nIG9mICROJCB2ZXJ0aWNlcy4gQSB0cmVlIGlzIGEgY29ubmVjdGVkJm5ic3A7Z3JhcGggY29uc2lzdGluZyBvZiAkTiQgdmVydGljZXMgYW5kICROLTEkIGVkZ2VzLiBBIHZlcnRleCB3aXRoIG9ubHkgb25lIG5laWdoYm9yaW5nIHZlcnRleCBpbiB0aGUgdHJlZSBpcyBjYWxsZWQgYSBsZWFmIG5vZGUuJm5ic3A7PFwvcD5cclxuXHJcbjxwPkVhY2ggdmVydGV4IG9mIHRoZSB0cmVlIGlzIG51bWJlcmVkIGZyb20gJDEkIHRvICROJC4gWXVuZWUgc3RhcnRzIGF0Jm5ic3A7dmVydGV4ICRhJCwgYW5kIERhbGdvbyZuYnNwO2FuZCBQb25peCZuYnNwO3N0YXJ0IGF0IHRoZSB2ZXJ0aWNlcyAkYiQgYW5kICRjJCwgcmVzcGVjdGl2ZWx5LiBUaGUgdGhyZWUgdmVydGljZXMgZ2l2ZW4gYXJlIGRpZmZlcmVudCBmcm9tIGVhY2ggb3RoZXIuJm5ic3A7WXVuZWUsIERhbGdvbywgYW5kIFBvbml4IGVuZ2FnZSBpbiBhIGNoYXNlIG1vdmluZyBhbHRlcm5hdGVseSBhcyBmb2xsb3dzLiBEdXJpbmcgdGhlIGNoYXNlLCBhIHZlcnRleCBtYXkgY29udGFpbiB0d28gb3IgbW9yZSBvZiB0aGVtLjxcL3A+XHJcblxyXG48dWw+XHJcblx0PGxpPkZpcnN0LCBZdW5lZSZuYnNwO21vdmVzIGFsb25nIHRoZSBlZGdlIHRvIHRoZSBhZGphY2VudCB2ZXJ0ZXguPFwvbGk+XHJcblx0PGxpPlRoZW4sJm5ic3A7RGFsZ29vIGFuZCBQb25peCBtb3ZlIGFsb25nIHRoZSBlZGdlIHRvIHRoZSBhZGphY2VudCB2ZXJ0aWNlcywgcmVzcGVjdGl2ZWx5LjxcL2xpPlxyXG48XC91bD5cclxuXHJcbjxwPll1bmVlIGdldHMgY2F1Z2h0IGJ5IHRoZSBwb2xpY2UgYXMgc29vbiBhcyZuYnNwO1l1bmVlIGlzIG9uJm5ic3A7dGhlIHNhbWUgdmVydGV4IGFzIGFueSBwb2xpY2UuIE9uIHRoZSBvdGhlciBoYW5kLCBhcyBzb29uIGFzIFl1bmVlIHJlYWNoZXMgYSBsZWFmIG5vZGUgd2l0aG91dCBnZXR0aW5nIGNhdWdodCBieSB0aGUgcG9saWNlLCBZdW5lZSZuYnNwO2NhbiBlc2NhcGUmbmJzcDt0byBhIG5laWdoYm9yaW5nIHZpbGxhZ2UuIFRoZSBzYW1lIGFwcGxpZXMgaWYgWXVuZWUgc3RhcnRzIGF0IGEgbGVhZiBub2RlLjxcL3A+XHJcblxyXG48cD5XaGVuIFl1bmVlLCBEYWxvbywgYW5kIFBvbml4IGNoYXNlIHdpdGggdGhlaXIgYmVzdCBzdHJhdGVnaWVzLCB3aWxsIFl1bmVlJm5ic3A7ZXNjYXBlIHNhZmVseT88XC9wPlxyXG4iLCJpbnB1dCI6IjxwPlRoZSBmaXJzdCBsaW5lIGNvbnRhaW5zIGEgc2luZ2xlIGludGVnZXIgJE4kICZtZGFzaDsgdGhlIG51bWJlciBvZiB2ZXJ0aWNlcyBpbiBVRFAgdmlsbGFnZS4mbmJzcDsoJDNcXGxlIE5cXGxlIDIwMFxcIDAwMCQpPFwvcD5cclxuXHJcbjxwPlRoZSBmb2xsb3dpbmcgJE4tMSQgbGluZSBjb25zaXN0cyBvZiB0d28gaW50ZWdlcnMgJHUkLCAkdiQgJm1kYXNoOyZuYnNwO2Rlbm90aW5nIGFuIGVkZ2UgY29ubmVjdGluZyB2ZXJ0ZXggJHUkIGFuZCB2ZXJ0ZXggJHYkLiZuYnNwO0l0IGlzIGd1YXJhbnRlZWQgdGhhdCB0aGUgZ2l2ZW4gZWRnZXMgZm9ybSBhIHRyZWUuICgkMVxcbGUgdSx2XFxsZSBOJCk8XC9wPlxyXG5cclxuPHA+VGhlIG5leHQgbGluZSBjb250YWlucyB0aHJlZSBpbnRlZ2VycyAkYSQsICRiJCwgJGMkICZtZGFzaDsmbmJzcDtzdGFydGluZyB2ZXJ0ZXggb2YgWXVuZWUsIERhbGdvbywgYW5kIFBvbml4LiBJdCBpcyBndWFyYW50ZWVkIHRoZXNlIHZlcnRpY2VzIGFyZSBkaWZmZXJlbnQgZnJvbSBlYWNoIG90aGVyLiZuYnNwOygkMVxcbGUgYSxiLGNcXGxlIE4kKTxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPkluIGEgc2luZ2xlIGxpbmUsIHByaW50IDxzcGFuIHN0eWxlPVwiY29sb3I6I2U3NGMzYztcIj48Y29kZT5ZRVM8XC9jb2RlPjxcL3NwYW4+IGlmIFl1bmVlIGNhbiBlc2NhcGUsIGFuZCA8c3BhbiBzdHlsZT1cImNvbG9yOiNlNzRjM2M7XCI+PGNvZGU+Tk88XC9jb2RlPjxcL3NwYW4+IG90aGVyd2lzZS48XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIwIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJFbmdsaXNoIn1d