2 * p * sqrt(3) * sqrt(1 - (a * sqrt(3))/(2 * p)) = a * (4 sin(t) + sqrt(3)), solve p