Find the length of the side of the largest square nut that can be milled from a piece of round stock that the diameter is 15mm. Use the 45-45-90 degree formula to solve.