9.131.257

This is a formula which you have proposed.