(s/2) + 13 = s/(2 sin (π/17))