Let be the circumcenter of triangle and let be the circumcenter of triangle Find
O_1 O_2 = 12*sqrt(3).