13 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) 
(1,7) (3,6) (4,9) 
(1,6) (0,9) (4,7) 
(1,9) (4,10) (2,7) 
(1,10) (2,8) (5,7) 
(1,2) (5,9) (6,7) 
(2,9) (5,6) (7,8) 
(6,9) (0,8) (7,10) 
(6,8) (7,11) (10,12) 
(6,11) (0,10) (1,12) 
(6,10) (0,12) (1,11) 
(6,12) (2,10) (0,11) 
(2,12) (3,8) (10,11) 
(3,12) (2,11) (8,10) 
(3,11) (9,10) (8,12) 
(3,10) (8,9) (11,12) 
(3,9) (5,12) (8,11) 
(9,12) (4,11) (5,8) 
(4,12) (7,9) (5,11) 
(7,12) (5,10) (9,11) 
nodes: 3152252   cpu: 172800217
0: F F F F F F F B M B B B B M B M M L E E E E E E E E  changes: 3
1: F M M M B B M F F F F F B B B L L E E E E E E E E E  changes: 2
2: M F L L M B B B B L M F F B B B B M F M E E E E E E  changes: 2
3: M L M F L M B M B B B B B B B B B B M F F F F E E E  changes: 2
4: L M F L L L L L L M B B B B B B B B B B B B B M F E  changes: 1
5: L L L M F B B B B B L M M B B B B B B B B B M L L M  changes: 2
6: B B B B M F L M F B B L M F F F F F E E E E E E E E  changes: 2
7: B B B B B M F F L L L L L L M B B B B B B B B B M F  changes: 2
8: B B B B B L M B B B M B L M F B B B M L L M L L E E  changes: 4
9: B B B B B B B L M F B M F F B B B B B B M M F F M L  changes: 3
10: B B B B B B B B B M F B B L L M F M L L M F B B B M  changes: 3
11: B B B B B B B B B B B B B B M F L L L M F L L M L L  changes: 1
12: B B B B B B B B B B B B B B L L M F F F L L M F F F  changes: 1
total boat changes: 28
max imbalance: 3