13 6
(0,1) (2,3) (4,5) 
(0,2) (3,4) (5,12) 
(0,3) (7,12) (1,5) 
(0,7) (1,12) (5,11) 
(0,12) (7,11) (5,8) 
(0,11) (7,8) (5,10) 
(8,11) (3,10) (5,7) 
(10,11) (2,7) (3,5) 
(2,11) (0,5) (3,12) 
(2,5) (3,6) (11,12) 
(2,6) (10,12) (3,11) 
(6,10) (3,7) (4,11) 
(6,7) (4,9) (1,11) 
(4,6) (1,8) (9,11) 
(1,4) (6,11) (2,9) 
(1,6) (9,12) (2,8) 
(6,9) (8,10) (1,2) 
(9,10) (1,3) (2,4) 
(1,10) (4,7) (2,12) 
(1,7) (2,10) (8,12) 
(7,10) (8,9) (6,12) 
(7,9) (0,6) (4,12) 
(0,9) (4,10) (3,8) 
(0,4) (6,8) (3,9) 
(4,8) (0,10) (5,9) 
(0,8) (1,9) (5,6) 
nodes: 97341   cpu: 5400218
0: F F F F F F B B M B B B B B B B B B B B B M F F M F  changes: 2
1: F B L M B B B B B B B B L M F F L M F F B B B B B M  changes: 3
2: M F B B B B B M F F F B B B L L L L L M E E E E E E  changes: 2
3: M M F B B B M L L M L M B B B B B M B B B B L L E E  changes: 3
4: L M B B B B B B B B B L M F F B B L M B B L M F F E  changes: 3
5: L L L L L L L L M F B B B B B B B B B B B B B B L L  changes: 1
6: B B B B B B B B B M F F F F M F F B B B L M B M B L  changes: 4
7: B B M F M M L M B B B M F B B B B B M F F F E E E E  changes: 3
8: B B B B L M F B B B B B B M B L M B B L M B L M F F  changes: 5
9: B B B B B B B B B B B B M L L M F F B B M F F L L M  changes: 2
10: B B B B B L M F B B M F B B B B M F F M F B M B M E  changes: 5
11: B B B L M F F F F L L L L L M E E E E E E E E E E E  changes: 1
12: B L M M F B B B L L M B B B B M B B L L L L E E E E  changes: 4
total boat changes: 38