有一家24小时营业的超市，需要雇佣一批出纳员。一天中每个小时需要出纳员的最少数量为R0,R1,R2,...,R23。有N个人申请这项工作，每个申请者，从一个特定时刻Ti,开始连续工作恰好8个小时。(Ti为整数，且 0<=Ti<=23 ) 你的任务是计算出需要雇佣出纳员的最少数目，满足在每一时刻k，至少有Ri名出纳员在工作。

第一行一个数T（T<=20），表示测试数据的个数。 对于每一个测试数据，第一行24个整数R0,R1,R2,...,R23，用空格分开。接下来的一行一个数N。然后接下来有N行，每一行有一个数Ti，表示第i个申请人在Ti时刻开始工作。

对于每一个测试数据，仅包含一行，如果有答案，就输出最少出纳员的数目，反之则输出’ No Solution’。

1
1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
5
0
23
22
1
10

1

差分约束系统  Zju1420