solve asin(1/r)+asin(7/(2r))+asin(11/(2r))=pi/2