Buds around 5k budget 🎧

Broke my realme buds air 3 today (right side isn't charging. - last post )😐

🎯 What good options do I have in this range ? I am certainly looking for an improvement. Though I am ready to settle if a budget one say 2.5k is fine to use.

⚔️ Requirements: 1. ANC quality (study purposes- hate noise) 2. Sound quality (I enjoy music a lot)

❌ Device restrictions: I use Xiaomi 11T Pro which supports AAC , LDAC but doesn't support LHDC (so no Oneplus Buds 3 sadly)

I've seen reviews of Realme Buds 6 pro , buds 6 basic one, Enco Air 3 Pro , Oneplus Buds 3.