9 6
(0,1) (2,3) (4,5) 
(1,3) (2,5) (4,6) 
(3,5) (6,7) (2,4) 
(3,6) (1,2) (0,4) 
(2,6) (1,4) (0,8) 
(1,6) (0,7) (2,8) 
(0,6) (2,7) (1,8) 
(0,2) (1,5) (7,8) 
(0,5) (3,8) (1,7) 
(5,8) (4,7) (0,3) 
(4,8) (3,7) (5,6) 
(3,4) (6,8) (5,7) 
nodes: 100810   cpu: 1800162
0: F B B L L M F F F L E E  changes: 1
1: F F B M M F L M L E E E  changes: 1
2: M M L M F L M F E E E E  changes: 0
3: M F F F B B B B M L M F  changes: 1
4: L L L L M B B B B M F F  changes: 1
5: L M F B B B B M F F L L  changes: 1
6: B L M F F F F B B B L M  changes: 2
7: B B M B B M M L L M M L  changes: 2
8: B B B B L L L L M F F M  changes: 1
total boat changes: 10