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