Making hot pot later and I don’t want to waste any of my veggies. Thin cut broccoli, I’m guessing 3 mins? Thick crowns, I’m guessing 5-6 mins? Does that sound right or will they be mush?