Solve the proportion 9/12 = 15/a