Even mathematicians can't figure out how to move a sofa arou