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