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