Thus we should cut in an edge of length 1.47247.

Input := 


ae = a/.sols[[1]]

Output =


1.47247