Can't you just add all the sizes of the buttons then subtract that from 800?

Oh well.

I'll just spend the next 300 hours trying to figure it out myself then.