### instance: TimeTable2w-1.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  839376  $BLx1:(B $BKS7{(B
  2  839372  $BLn!9It(B $B9(;J(B
  3  839368  $B66K\(B $B1Q<y(B
  4  839346  $B8E2l(B $BM40l(B

### instance: scph3.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  604573  $BLn!9It(B $B9(;J(B
  2  604557  $B66K\(B $B1Q<y(B
  3  604552  $BLx1:(B $BKS7{(B
  4  604548  $B8E2l(B $BM40l(B

### instance: sts729.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  176987  $BLx1:(B $BKS7{(B
  2  176986  $B8E2l(B $BM40l(B
  2  176986  $BLn!9It(B $B9(;J(B
  4  176984  $B66K\(B $B1Q<y(B

### instance: ramsey-42-5-5.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  1701208  $BLx1:(B $BKS7{(B
  2  1701195  $B8E2l(B $BM40l(B
  3  1701192  $B66K\(B $B1Q<y(B
  4      0  $BLn!9It(B $B9(;J(B

### instance: ssa6288-047.sat
$B=g0L(B $B%3%9%H(B $B;aL>(B
  1  1733755  $BLn!9It(B $B9(;J(B
  2  1732521  $BLx1:(B $BKS7{(B
  3  1730998  $B66K\(B $B1Q<y(B
  4  1721335  $B8E2l(B $BM40l(B

### $BAm9g7k2L(B ###
$B=g0L(B $BJ?6Q=g0L(B $B;aL>(B
  1    1.600  $BLx1:(B $BKS7{(B
  2    2.000  $BLn!9It(B $B9(;J(B
  3    3.000  $B66K\(B $B1Q<y(B
  4    3.200  $B8E2l(B $BM40l(B

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