How do you use half angle formula to find #sin ((11pi)/12)#?