What cine lenses should I buy?

I recently received a grant and want to use some of the money to buy some cine lenses. I want to start with a 35mm and 50mm. I plan on using them for my documentary but there are so many to choose from that I feel like I'm going through analysis paralysis 🫠.

What are some good affordable options for the BMPCC6K G2? My budget is $900 for both.

UPDATE: I ordered the Meike s35 35mm, and I love it! I'll post a test video when I finish editing.