12 6
(0,1) (2,3) (4,5) 
(0,2) (1,4) (3,5) 
(0,4) (1,3) (2,5) 
(0,3) (1,5) (2,4) 
(0,5) (2,6) (3,4) 
(0,6) (3,7) (4,8) 
(0,7) (1,8) (4,6) 
(0,8) (1,6) (4,7) 
(6,8) (1,7) (4,9) 
(6,7) (0,9) (4,10) 
(6,9) (4,11) (1,10) 
(6,11) (0,10) (1,2) 
(6,10) (1,9) (2,7) 
(9,10) (2,8) (7,11) 
(2,9) (0,11) (7,8) 
(2,11) (7,9) (8,10) 
(9,11) (2,10) (5,8) 
(10,11) (3,8) (5,9) 
(3,10) (8,9) (5,11) 
(3,9) (8,11) (5,10) 
(3,11) (5,6) (7,10) 
(3,6) (1,11) (5,7) 
nodes: 4372856   cpu: 172800239
0: F F F F F F F F B M B M B B M E E E E E E E  changes: 3
1: F M M M B B M M M B L L M B B B B B B B B M  changes: 3
2: M F L L M B B B B B B L L M F F M E E E E E  changes: 1
3: M L M F L M B B B B B B B B B B B M F F F F  changes: 1
4: L M F L L L L L L L M E E E E E E E E E E E  changes: 0
5: L L L M F B B B B B B B B B B B L L L L M L  changes: 1
6: B B B B M F L M F F F F F B B B B B B B M F  changes: 2
7: B B B B B M F L M F B B L L L M B B B B L L  changes: 3
8: B B B B B L M F F B B B B M L L L M M M E E  changes: 2
9: B B B B B B B B L M F B M F F M F L M F E E  changes: 2
10: B B B B B B B B B L L M F F B L M F F L L E  changes: 2
11: B B B B B B B B B B M F B L M F F F L M F M  changes: 2
total boat changes: 22
max imbalance: 5