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