(1-log(2,12))*(1-log(6,12))