This formula shows the world record smallie to be 13.1 lbs...certainly not exact but certainly a lot closer than the other formula....probably a pretty good formula for quick reference...thanks.