sqrt(2 +2cos((2 π)/7))