Sort:  

The numbers work out, but the algorithm does not! Maybe we need @haikubot_beta