### instance: jnh04.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  420830  $B8E2l(B $BM40l(B
  1  420830  $BLn!9It(B $B9(;J(B
  1  420830  $BLx1:(B $BKS7{(B
  1  420830  $BB<LZ(B $BOB@.(B
  1  420830  $BJ!1J(B $BBsO:(B
  1  420830  $B2VC+(B $BM[0l(B
  1  420830  $B66K\(B $B1Q<y(B
  8  420828  $B@n>e(B $BFX;K(B
  8  420828  $B>>K\(B $BBnO:(B
 10  420819  $BJLI\(B $B=E7{(B
 10  420819  $B@P@n(B $BL@MN(B
 12  420789  $BCSC<(B $BM42p(B
 13  420394  $BCf@>(B $BMW2p(B
 14  420077  $B2,:j(B $BBg;V(B
 15  415124  $B2&(B $BM&(B

### instance: rndw1000a03
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  3899483  $B8E2l(B $BM40l(B
  1  3899483  $BLn!9It(B $B9(;J(B
  1  3899483  $BLx1:(B $BKS7{(B
  1  3899483  $B66K\(B $B1Q<y(B
  1  3899483  $BB<LZ(B $BOB@.(B
  6  3897280  $BJLI\(B $B=E7{(B
  7  3896927  $B@P@n(B $BL@MN(B
  8  3896109  $B2VC+(B $BM[0l(B
  9  3894585  $BJ!1J(B $BBsO:(B
 10  3893662  $B>>K\(B $BBnO:(B
 11  3892567  $B@n>e(B $BFX;K(B
 12  3886244  $BCf@>(B $BMW2p(B
 13  3881443  $BCSC<(B $BM42p(B
 14  3881298  $B2,:j(B $BBg;V(B
 15  3761015  $B2&(B $BM&(B

### instance: rndw1000b04
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  5503423  $B66K\(B $B1Q<y(B
  2  5502299  $BLn!9It(B $B9(;J(B
  3  5501118  $B8E2l(B $BM40l(B
  4  5498402  $B@P@n(B $BL@MN(B
  5  5498274  $BLx1:(B $BKS7{(B
  6  5496060  $BB<LZ(B $BOB@.(B
  7  5492950  $BJLI\(B $B=E7{(B
  8  5491294  $B2VC+(B $BM[0l(B
  9  5488927  $BJ!1J(B $BBsO:(B
 10  5480990  $B@n>e(B $BFX;K(B
 11  5479237  $B>>K\(B $BBnO:(B
 12  5468098  $B2,:j(B $BBg;V(B
 13  5456552  $BCf@>(B $BMW2p(B
 14  5431253  $BCSC<(B $BM42p(B
 15  5223999  $B2&(B $BM&(B

### instance: rg_200_2000_4_13
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  7329809  $BLn!9It(B $B9(;J(B
  2  7329211  $B8E2l(B $BM40l(B
  3  7328710  $B66K\(B $B1Q<y(B
  4  7327444  $BLx1:(B $BKS7{(B
  5  7320347  $B2VC+(B $BM[0l(B
  6  7305059  $BJLI\(B $B=E7{(B
  7  7304600  $BB<LZ(B $BOB@.(B
  8  7293790  $B>>K\(B $BBnO:(B
  9  7291794  $B@n>e(B $BFX;K(B
 10  7288766  $BJ!1J(B $BBsO:(B
 11  7281000  $BCf@>(B $BMW2p(B
 12  7268937  $B2,:j(B $BBg;V(B
 13  7253382  $BCSC<(B $BM42p(B
 14  7180259  $B@P@n(B $BL@MN(B
 15  6390675  $B2&(B $BM&(B

### $BAm9g7k2L(B ###
$B=g0L(B $BJ?6Q=g0L(B $B;aL>(B
  1    1.250  $BLn!9It(B $B9(;J(B
  2    1.500  $B66K\(B $B1Q<y(B
  3    1.750  $B8E2l(B $BM40l(B
  4    2.750  $BLx1:(B $BKS7{(B
  5    3.750  $BB<LZ(B $BOB@.(B
  6    5.500  $B2VC+(B $BM[0l(B
  7    7.250  $BJLI\(B $B=E7{(B
  7    7.250  $BJ!1J(B $BBsO:(B
  8    8.750  $B@P@n(B $BL@MN(B
  9    9.250  $B>>K\(B $BBnO:(B
 10    9.500  $B@n>e(B $BFX;K(B
 11   12.250  $BCf@>(B $BMW2p(B
 12   13.000  $BCSC<(B $BM42p(B
 12   13.000  $B2,:j(B $BBg;V(B
 13   15.000  $B2&(B $BM&(B

### $B;22C<T?t(B: 15
