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