Question 845654
{{{s=d/sqrt(2)=5}}}