25 square root of 2