9 2 and 9 3 seem impossible to me but I hope to be proven wrong If I actually did some layout searching I expect there to be a 9 [4] that is about 40G cheaper than this. Maybe with some multitasking wizardry it can go even lower. Hey, at least I finished a solve :)