34327번 - 쉬었음 부원

문제

금오공대 컴퓨터공학부의 대표 동아리인 CHIP_SAT에서는 학기마다 프로젝트, 멘토링, 세미나 등 다양한 활동을 진행한다.

이 과정에서 학업, 아르바이트, 군 복무 등의 사유로 잠시 활동을 쉬게 되는 부원이 생기는데, 동아리에서는 이들을 친근하게 쉬었음 부원이라 부른다.

운영진은 이러한 쉬었음 부원이 다시 리듬을 되찾을 수 있도록 맞춤형 멘토링 프로그램을 시행하고자 한다. 프로그램은 네 가지 플랜으로 구성되어 있으며, 각 플랜의 지원 내용은 아래와 같다.

플랜 1,2,3ドル$의 정원은 각각 $P_1,P_2,P_3$명이다. 정원을 초과하여 배정할 수는 없지만 반드시 모두 채울 필요는 없으며, 남는 인원은 정원 제한이 없는 플랜 0ドル$에 배정된다. 각 부원은 정확히 하나의 플랜에 배정된다.

운영진은 사전 조사를 통해 각 부원이 네 가지 플랜에 대해 느끼는 만족도를 기록하였다. 만족도가 음수면 불만족, 0ドル$이면 중립, 양수면 만족을 뜻한다.

오리엔테이션 당일, 부원들은 행사장에 도착하는 순서대로 줄을 섰다. 운영진은 이 줄을 본 뒤 전체 만족도 합을 최대화하도록 각 부원의 플랜을 배정한다.

또한, 행사 인솔을 위해 줄은 회의에서 정한 플랜의 나열 순서대로 연속된 블록을 이루어야 했다. 배정 인원이 0ドル$인 플랜은 길이 0ドル$의 블록으로 간주한다.

이에 운영진은 임의의 두 사람의 자리를 교환하는 방법을 사용하여 줄을 다시 세우려고 한다. 단, 같은 플랜에 속한 부원들의 원래 줄에서의 상대적 순서는 유지되어야 한다.

운영진은 전체 만족도 합이 최대인 배정이 여러 개라면, 그중 필요한 교환 횟수가 최소인 배정을 선택한다. 운영진이 선택한 배정에서 필요한 자리 교환 횟수를 구해보자.

입력

첫째 줄에 쉬었음 부원의 인원수 $N$이 주어진다. $(1 \leq N \leq 10)$

둘째 줄에는 현재 행사장에 줄 서 있는 순서대로 각 부원의 번호 $A_i$가 공백으로 구분되어 주어진다. $(1 \le A_i \le N)$

${A_1,A_2,\cdots,A_N}$ 의 값은 서로 다르다.

셋째 줄에는 플랜 1ドル,ドル 2ドル,ドル 3ドル$의 정원을 나타내는 $P_1,ドル $P_2,ドル $P_3$가 공백으로 구분되어 주어진다. $(0 \leq P_1, P_2, P_3 \leq N)$

넷째 줄부터 $N$개의 줄에 걸쳐, 각 부원이 플랜 0ドル,ドル 1ドル,ドル 2ドル,ドル 3ドル$에 배정되었을 때의 만족도인 $V_{i0}, V_{i1}, V_{i2}, V_{i3}$가 공백으로 구분되어 주어진다. $(-10 \leq V_{i0}, V_{i1}, V_{i2}, V_{i3} \leq 10)$

마지막 줄에는 회의에서 정해놓은 플랜의 나열 순서 $X_1, X_2, X_3, X_4$가 공백으로 구분되어 주어진다. $(0 \le X_1,X_2,X_3,X_4 \le 3)$

${X_1,X_2,X_3,X_4}$ 의 값은 서로 다르다.

입력되는 모든 수는 정수이다.

출력

운영진이 선택한 배정에서 필요한 자리 교환 횟수를 출력한다.

제한

힌트