((i,h)2..8,(g,f)2..8,(e,(d,(c,b)4..8,a)3..8)2..7)1..8;
model: 125ms   solve: 0ms