9(1,4) 22(4,2) 1(0,1) 10(2,0) 18(3,3) 3(0,3) 11(2,1) 24(4,4) 17(3,2) 5(1,0) 12(2,2) 8(1,3) 15(3,0) 4(0,4) 21(4,1) 16(3,1) 0(0,0) 7(1,2) 23(4,3) 14(2,4) 20(4,0) 19(3,4) 13(2,3) 6(1,1) 2(0,2) nodes: 1576 time: 0.21494171