캔 주기

집사는 고양이 랑이와 메리에게 매일 아침 캔을 정확히 하나씩 준다. 집사가 가진 캔은 $N$가지이고, $i$번째 종류의 캔은 $A[i]$개 있다.

랑이와 메리는 입맛이 까다롭고 변덕이 심해서 날마다 캔에 대한 만족도가 다르다. $i$번째 날 랑이가 $j$번째 캔을 먹었을 때의 만족도는 $R[i][j]$이고, 같은 날 메리가 $j$번째 캔을 먹었을 때의 만족도는 $M[i][j]$이다.

자연수 $N$과 배열 $A$, $R$, $M$이 주어질 때, 집사가 가진 캔만으로 $K$일 동안 매일 랑이와 메리에게 캔을 하나씩 줬을 때 얻을 수 있는 만족도 합의 최댓값을 구하시오.

첫째 줄에 $N$과 $K$가 주어진다($1 \le N \le 5$, $1 \le K \le 4$).

둘째 줄에는 $A[1], \ldots, A[N]$이 공백으로 구분되어 주어진다. $0 \le A[i] \le 8$이며, 캔의 총개수는 $2K$개 이상이다.

이어서 $K$줄에 걸쳐 $R$이 주어지고, $i$번째 줄 $j$번째 값이 $R[i][j]$이다($1 \le R[i][j] \le 100$). 그다음 $K$줄에는 같은 형식으로 $M$이 주어진다($1 \le M[i][j] \le 100$).

랑이와 메리의 만족도 합의 최댓값을 출력한다.