3(0,3) 8(2,0) 5(1,1) 14(3,2) 
13(3,1) 6(1,2) 11(2,3) 0(0,0) 
10(2,2) 1(0,1) 12(3,0) 7(1,3) 
4(1,0) 15(3,3) 2(0,2) 9(2,1) 

nodes: 76 time: 0.057533905