DCHS musicians perform well at 2022 District Music Fest