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