The sofa problem