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