long dp[1<<16][16];x[16][16],i,j,k; main(c) { for(;~scanf("%d",&c);dp[1<>4][j&15]=c?c:-x[j&15][j>>4]; for(;i<1<<16;i++) if((c=__builtin_popcount(i))>1&&__builtin_popcount(c)==1) for(c=(1<>1|k) if(!(c&~i)) for(j=0;j<16;j++)if(c&1<