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