Mating the Basilica with a Siegel Disk

Consider a quadratic polynomial with a fixed Siegel disc of bounded type. Using an adaptation of complex a priori bounds for critical circle maps, we prove that this Siegel polynomial is conformally mateable with the basilica polynomial.