The 2x4 example, case 2.

Maximize
  Obj: 0
Subject to
 x5 + x8 + x10 = 1
 x1 + x5 + x8 + x9 + x10 = 1
 x5 + x8 + x10 = 1
 x2 + x7 = 1
 x3 + x8 = 1
 x6 + x7 + x9 = 1
 x4 + x6 + x7 + x9 + x10 = 1
 x6 + x7 + x9 = 1
 x1 + x2 + x3 + x4 = 1
 x5 + x6 = 1
 x7 + x8 + x9 + x10 = 1
Binary
  x1 x2 x3 x4 x5 x6 x7 x8 x9 x10
End