This is the famous sofa problem! It's hard to believe it's finally solved; I've spent many evenings staring at the wikipedia article wondering at how even what seem to be the simplest of problems defy the reach of mathematics.