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