d[3010*4]; w[3010]; inline max(a,b){return a>b?a:b;} main(i,k,n,m){ scanf("%d%d",&n,&m); for(i=0;i=0;--k)d[k]=-999999; d[0]=d[7]=0; for(i=0;i