### instance: jnh04.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  420830  $B66K\(B $B1Q<y(B
  1  420830  $B8E2l(B $BM40l(B

### instance: rndw1000a03
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  3899483  $B66K\(B $B1Q<y(B
  1  3899483  $B8E2l(B $BM40l(B

### instance: rndw1000b04
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  5503423  $B66K\(B $B1Q<y(B
  2  5501118  $B8E2l(B $BM40l(B

### instance: rg_200_2000_4_13
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  7329211  $B8E2l(B $BM40l(B
  2  7328710  $B66K\(B $B1Q<y(B

### instance: TimeTable2w-1.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  839368  $B66K\(B $B1Q<y(B
  2  839346  $B8E2l(B $BM40l(B

### instance: scph3.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  604557  $B66K\(B $B1Q<y(B
  2  604548  $B8E2l(B $BM40l(B

### instance: sts729.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  176986  $B8E2l(B $BM40l(B
  2  176984  $B66K\(B $B1Q<y(B

### instance: ramsey-42-5-5.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  1701195  $B8E2l(B $BM40l(B
  2  1701192  $B66K\(B $B1Q<y(B

### instance: ssa6288-047.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  1730998  $B66K\(B $B1Q<y(B
  2  1721335  $B8E2l(B $BM40l(B

### $BAm9g7k2L(B ###
$B=g0L(B $BJ?6Q=g0L(B $B;aL>(B
  1    1.333  $B66K\(B $B1Q<y(B
  2    1.444  $B8E2l(B $BM40l(B

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