대량 생산

아직 제출이 없습니다시간 제한2초메모리 제한128 MB

문제

우주 함대가 연방 영역의 경계에 함선 편대를 배치하려고 한다. 근처 행성에서 함선을 만들 수는 있지만, 그 행성에는 함선을 처음부터 건조할 설비가 없다. 대신 여러 종류의 기본 부품을 담은 조립 키트를 보내면 현지에서 함선을 조립할 수 있다.

키트 하나는 그 안의 기본 부품을 함선 부품으로 변환해서 함선 한 척이 된다. 조립 품질을 일정하게 유지하려면 서로 다른 키트의 부품을 섞어 쓰면 안 된다. 즉, 키트 하나는 남김없이 다 써서 정확히 함선 한 척을 만든다.

편대는 A급 함선과 B급 함선으로 이루어진다. 두 등급은 필요한 함선 부품의 총 개수가 같지만, 부품별 구성은 서로 다르다. 기본 부품은 어떤 종류의 함선 부품으로도 변환할 수 있고, 변환 비용은 기본 부품의 종류와 함선 부품의 종류에 따라 정해진다.

조립 키트 설계는 당신이 맡았고, 키트는 모두 똑같아야 한다. 역사상 가장 뛰어난 컴퓨터 M5도 쓸 수 있다. 편대 전체를 건조하는 변환 비용의 합을 최소로 만들려면 키트를 어떻게 구성해야 할까?

입력

첫 줄에 테스트 케이스의 개수 TT (1T501 \le T \le 50)가 주어진다.

각 테스트 케이스의 첫 줄에는 정수 MM, NN, AA, BB (1M,N101 \le M, N \le 10; 1A,B1001 \le A, B \le 100)가 주어진다. MM은 기본 부품의 종류 수, NN은 함선 부품의 종류 수, AA는 필요한 A급 함선의 수, BB는 필요한 B급 함선의 수다.

다음 줄에는 정수 aia_iNN개 주어진다 (0ai1000 \le a_i \le 100). aia_i는 A급 함선 한 척에 필요한 함선 부품 ii의 개수다.

다음 줄에는 정수 bib_iNN개 주어진다 (0bi1000 \le b_i \le 100, ai=bi\sum a_i = \sum b_i). bib_i는 B급 함선 한 척에 필요한 함선 부품 ii의 개수다.

이어지는 MM개의 줄에는 각각 정수 cijc_{ij}NN개 주어진다 (0cij1000 \le c_{ij} \le 100). cijc_{ij}는 기본 부품 ii 하나를 함선 부품 jj 하나로 변환하는 비용이다.

출력

각 테스트 케이스마다 키트로 편대의 함선을 모두 조립할 때 드는 변환 비용 합의 최솟값을 정수 하나로 한 줄에 출력한다.

힌트

예제에서 최적인 키트는 기본 부품을 종류마다 하나씩 담은 키트다. 이 키트를 A급 함선의 부품으로 변환하는 비용은 1, B급 함선의 부품으로 변환하는 비용은 2다.