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