circumradius of triangle with side length 25, 25, 20