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