<s>[INST] A square is drawn inside a read circle. The square is further divided into four smaller squares of equal side-length (a). The radius of the circle (r) is given as: r = 0.5 * (√2) * a 
What is side length of the square?[/INST]