The other posters have given good info. I just wanted to add to try setting the fan to on instead of auto so it runs all of the time. This will help keep the air moving in the house and might help keep it cooler. Also make sure you check the filter and change it if you haven't yet. See if your energy company offers an energy audit. that will tell you if you have leaky windows, doors, or insulation problems. I have shitty insulation but with the ac fan running all of the time I can keep the house @ 70 - 72 on a 95 degree day.
I'd also consider getting a second opinion from another HVAC company, you could have undersized ductwork or another problem that the first company isn't acknowledging.
It's complete shit right now. 5 or more years ago I could quickly find an answer to a very technical question with no problem. Now it is useless for anything. Just today I was looking for a shop near me that can perform a front end alignment on my RV, I searched for "Tractor Trailer front end alignment near me". The entire first page is either tire shops that do not offer front end alignments, car tire shops that don't even sell the correct size tires I would need for a tractor trailer, or shops 2000 miles away in various directions. It's horrible and I think it would be faster to look in the yellow pages for what I need in this case. I never found a shop using google.
Also today I was searching for the tires I need in the shopping tab there were ads for tires that google had labeled as wal-mart but when I would click the link it would take me to a Chinese scam site.
I thought I replied already to this so this might be a double.. I think they are just a bootlicker who needs to go outside more often. Based on the reply I got from them I don't think they give a shit about their users just their power.
Just got back a message from the mods who told me to grow up and called me a 'hero'. They also muted me for 28 days so I can't message them any more. My reply to their ban was this "Banned for deleting my own comment in a 10 year old thread? Funny."
I've settled on using wsl2 on a windows machine. I run Ubuntu and kali in wsl as virtual machines on my main windows computer. I was an early user of linux and bsd but have found it's just plain easier to run day to day on windows.
I run both Ubuntu and kali simply because I haven't been able to make sound work correctly with Ubuntu on wsl but it works great in kali, plus kali has all the pentesting stuff so I can play around with that in my free time.