👤

cos(23pi/12)*sin(pi/12)=???????????????