한조 대기 중

그랜드마스터 승급까지 1승만 남은 욱제는 끔찍한 광경을 보고 말았다. 팀원들이 게임을 던지기 시작한 것이다.

승급을 포기하려던 찰나, 욱제는 상대 팀도 게임을 던진다는 사실을 알아챘다! 이제 승부는 알 수 없게 되었다.

한 팀에는 $N$명의 플레이어가 있고, 각 팀원은 게임을 시작하기 전에 영웅을 한 명 고른다. 같은 팀에서 여러 명이 같은 영웅을 고를 수는 없다. 게임에는 영웅이 아주 많은데, 그중 $M$개는 게임의 승패를 가를 만큼 구린 영웅이다. 이런 영웅을 고르는 것을 트롤픽이라고 한다. (같은 게임이므로 트롤픽의 수 $M$은 두 팀이 같다.)

두 팀이 모두 게임을 던지자 즐겜 분위기가 만들어졌다. 각 팀원은 $M$개의 트롤픽 중 자신이 원하는 트롤픽을 말하고, 각 팀은 최대한 많은 팀원이 트롤픽을 할 수 있도록 트롤픽을 나눠 준다. 트롤픽을 하지 못한 팀원은 아쉽지만 힐러를 고른다.

게임은 실력이 비슷한 플레이어끼리 매칭해 주기 때문에, 결국 트롤픽을 더 적게 한 팀이 이긴다. 각 팀의 팀원들이 고르고 싶어 하는 트롤픽의 목록이 주어질 때, 욱제가 그랜드마스터를 찍을 수 있는지 알아보자. 비기면 점수를 주지 않으므로 승급할 수 없다. 물론 욱제도 게임을 던진다.

첫째 줄에 한 팀의 플레이어 수 $N$($1 \le N \le 300$), 트롤픽의 수 $M$($1 \le M \le 300$), 각 팀의 팀원들이 원하는 트롤픽 항목의 수 $K_1$, $K_2$($1 \le K_1, K_2 \le 500$)가 주어진다.

다음 $K_1$개의 줄에는 두 정수 $i$, $j$($1 \le i \le N$, $1 \le j \le M$)가 주어진다. 욱제 팀의 $i$번 플레이어가 $j$번 트롤픽을 고르고 싶어 한다는 뜻이다.

다음 $K_2$개의 줄에는 같은 형식으로 상대 팀의 팀원들이 원하는 트롤픽이 주어진다.

승급할 수 있으면 네 다음 힐딱이를, 승급할 수 없으면 그만 알아보자를 출력한다.