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