apart from trying to cut every corner i didnt found anything special in 12.
I did miss something in 10, i'm down to 14 s 4, might still be missing something
Yeah my 10 is not perfect yet. I am now down to 13,57
10 is now 12:916. close to optimal. And 9 still nowhere near :(
