Mathematicians have spent over fifty years trying to find the magic formula for the sofa with the largest sitting area that can be moved along an L-shaped corridor in one piece without lifting it. Welcome to the Sofa Problem.