When they had eaten as much as they wanted, they lightened the ship by throwing the grain into the sea.
And when they had eaten enough, they lightened the ship, and cast out the wheat into the sea.
And after they had eaten sufficiently, [they proceeded] to lighten the ship, throwing out the wheat into the sea.
And when they had eaten enough, they lightened the ship, throwing out the wheat into the sea.
And having been nourished with food, they lightened the ship, casting the wheat into the sea.