Problem:
Problem C: Live Schedule

YOKARI TAMURAは全国的に有名なアーティストである。今月YOKARIは D 日間にわたってライブツアーを行う。ツアーのスケジュールの決定においてこの国を C 種類の地域でわける。YOKARIがある地域でライブを行うことにより利益を得られ、これは正の整数で表される。YOKARIは原則として 1 日に最大 1 つまでライブを行う。ただし、ある地域でライブを行った後、隣接する地域でライブを行える場合はその地域で同じ日に再びライブを行うことができる。この条件を満たす限り、地域を移動しながら何度もライブを行うことができる。また、同じ日に同じ地域でライブを 2 度以上行うことはできない。さらに、同じ日に 2 回以上のライブを行う日の数はツアー期間中合計 X 以下でなければならない。

あなたはYOKARIの関係者であり、彼女のライブツアーのスケジュールを仮決めしなくてはならない。どの日にどの地域でライブを行えばもっとも有益だろうか。ただし 1 回のライブごとにYOKARIには非負の整数で表される負担がかかり、ツアー期間中の合計負担は W 以内でなければならない。あなたの仕事は各ライブでYOKARIにかかる負担と期待される利益を読み込み、スケジュールを仮決めして、利益合計の最大値を出力することである。

Input

入力は複数のテストケースからなる。
ひとつのテストケースは以下の形式に従う。

C D W X
E1,1 E1,1 … E1,D
E2,1 E2,1 … E2,D
…
EC,1 EC,2 … EC,D
F1,1 F1,1 … F1,D
F2,1 F2,1 … F2,D
…
FC,1 FC,2 … FC,D

C は地域の種類数、D はツアー期間の長さ、W はこのツアーでYOKARIに許容される負担の合計の最大値、X はツアー期間中にライブを同じ日に 2 度以上行える合計日数の上限である。
Ei,j ( 1 ≤ i ≤ C かつ 1 ≤ j ≤ D ) は地域 i で j 日目にライブを行うことで期待される利益である。Ei,j が 0 のとき地域 i で j 日目にライブを行えないことを示す。
Fi,j ( 1 ≤ i ≤ C かつ 1 ≤ j ≤ D ) は地域 i で j 日目にライブを行うことでYOKARIにかかる負担である。Ei,j が 0 のとき、この値は0である。
地域 i は地域 i + 1 と i - 1 それぞれに隣接する。ただし地域 1 と地域 C ( C > 2 ) は隣接しない。
入力の終わりは、4個の0がそれぞれ一文字の空白で区切られる一行で示される。

Constraints

入力はすべて整数

1 ≤ C ≤ 15

1 ≤ D ≤ 30

0 ≤ W ≤ 50

0 ≤ X ≤ 5

0 ≤ Ei,j ≤ 1,000

0 ≤ Fi,j ≤ 10

テストケースの数は 100 を超えない。

Output

各ケースに付き、スケジュールを仮決めして期待される利益合計の最大値を 1 行に出力せよ。

Sample Input

5 5 10 2
1 1 0 1 1
0 9 1 0 1
1 1 1 9 1
1 1 9 0 1
1 1 1 1 0
1 1 0 1 1
0 9 1 0 1
1 1 1 9 1
1 1 1 0 1
1 1 1 1 0
1 1 10 0
3
7
1 1 5 0
3
6
1 2 10 1
6 7
5 6
2 1 10 1
4
8
3
7
2 1 10 0
4
8
3
7
2 1 5 0
4
8
3
6
0 0 0 0

Sample Output

18
3
0
7
12
8
4

Solution in C++ (judge verdict: Wrong Answer)

#include <stdio.h>
#include <cmath>
#include <algorithm>
#include <cfloat>
#include <stack>
#include <queue>
#include <vector>
#include <string>
#include <iostream>
#include <set>
#include <map>
#include <time.h>
typedef long long int ll;
typedef unsigned long long int ull;
#define BIG_NUM 2000000000
#define MOD 1000000007
#define EPS 0.000000001
using namespace std;


int C,D,W,X;
int E_table[15][30],F_table[15][30];
int dp[31][51][6];

bool rangeCheck(int area){
	if(area >= 0 && area <= C-1){
		return true;
	}else{
		return false;
	}
}


void func(){

	for(int area = 0; area < C; area++){
		for(int day = 0; day < D; day++)scanf("%d",&E_table[area][day]);
	}

	for(int area = 0; area < C; area++){
		for(int day = 0; day < D; day++)scanf("%d",&F_table[area][day]);
	}

	for(int day = 0; day <= D; day++){
		for(int futan = 0; futan <= W; futan++){
			for(int num = 0; num <= X; num++){
				dp[day][futan][num] = -1;
			}
		}
	}

	for(int day = 0; day <= D; day++){
		dp[day][0][0] = 0;
	}

	int ans = 0;
	bool FLG;
	int tmp_futan,tmp_E;

	for(int day = 0; day <= D-1; day++){
		for(int futan = 0; futan <= W; futan++){
			for(int num = 0; num <= X; num++){
				if(dp[day][futan][num] == -1)continue;

				for(int area = 0; area <= C-1; area++){
					if(E_table[area][day] == 0 || futan+F_table[area][day] > W)continue;

					dp[day+1][futan+F_table[area][day]][num] = max(dp[day+1][futan+F_table[area][day]][num],dp[day][futan][num]+E_table[area][day]);
					ans = max(ans,dp[day+1][futan+F_table[area][day]][num]);

					if(num == X)continue;

					for(int count = 2; count <= 5; count++){
						FLG = true;
						tmp_futan = 0;
						tmp_E = 0;
						for(int i = 0; i < count; i++){
							if(rangeCheck(area+i) == false || E_table[area+i][day] == 0){
								FLG = false;
								break;
							}
							tmp_futan += F_table[area+i][day];
							tmp_E += E_table[area+i][day];
						}

						if(FLG == false || futan+tmp_futan > W)continue;

						dp[day+1][futan+tmp_futan][num+1] = max(dp[day+1][futan+tmp_futan][num+1],dp[day][num][futan]+tmp_E);
						ans = max(ans,dp[day+1][futan+tmp_futan][num+1]);
					}
				}
			}
		}
	}

	printf("%d\n",ans);
}

int main(){

	while(true){
		scanf("%d %d %d %d",&C,&D,&W,&X);
		if(C == 0 && D == 0 && W == 0 && X == 0)break;

		func();
	}

	return 0;
}