Correct answer: 2/3
Using the geometric constraints for both circles touching the x-axis, internally tangent to the unit semicircle, and externally tangent to each other, we solve for a. With b = 1/2 the larger circle center is at (sqrt(3)/2, 1/2). Setting up the tangency condition for the smaller circle gives a = 1/6, so 4a = 2/3.