>>/811711/
I think you're right but running it higher would be more economical
https://www.canstarblue.com.au/electricity/air-con-temperature-costing/