12 6
(0,1) (2,3) (4,5) 
(0,3) (4,10) (5,7) 
(3,4) (0,7) (5,11) 
(3,7) (4,11) (1,5) 
(3,11) (2,5) (1,7) 
(2,11) (7,8) (1,3) 
(2,7) (3,8) (1,10) 
(2,8) (9,10) (1,4) 
(8,9) (0,4) (1,6) 
(0,8) (2,6) (1,9) 
(6,8) (7,9) (1,11) 
(6,7) (9,11) (1,8) 
(6,9) (8,11) (1,2) 
(6,11) (5,10) (0,2) 
(10,11) (2,4) (0,9) 
(2,10) (0,5) (3,9) 
(0,10) (3,5) (2,9) 
(3,10) (0,6) (5,9) 
(3,6) (5,8) (4,9) 
(5,6) (8,10) (4,7) 
(6,10) (4,8) (7,11) 
(4,6) (0,11) (7,10) 
nodes: 10070   cpu: 600245
0: F F M B B B B B M F B B B L L M F M B B B M  changes: 3
1: F B B L L L L L L L L L L E E E E E E E E E  changes: 1
2: M B B B M F F F B M B B L L M F L E E E E E  changes: 3
3: M F F F F L M B B B B B B B B L M F F E E E  changes: 1
4: L M F M B B B L M B B B B B M B B B L L M F  changes: 3
5: L L L L M B B B B B B B B M B M M L M F E E  changes: 2
6: B B B B B B B B L M F F F F B B B M F F F F  changes: 2
7: B L M F L M F B B B M F B B B B B B B L L L  changes: 3
8: B B B B B M M F F F F L M B B B B B M M M E  changes: 2
9: B B B B B B B M F L M M F B L L L L L E E E  changes: 2
10: B M B B B B L M B B B B B M F F F F B M F L  changes: 4
11: B B L M F F B B B B L M M F F B B B B B L M  changes: 3
total boat changes: 29