I think the weight/balance/displacement math was sound.
From what I read, the keel caught on an underwater obstruction as they tried to float for the first time. Instead of stopping to figure out what was wrong when it wouldn't move, they doubled-down on pushing harder, and used the lateral docking/maneuver thrusters.