triangle edge lengths 5*(1--√3),10*√(3/2),10