They could raise the temperature a few degrees but then the women would complain that all the men in the office have B.O. Bitch, bitch, bitch...
I would agree that 71 is a bit cool. I’d suggest 73-74 for working in an office.
I worked in a building with a screwed-up HVAC system. When it was 95 out, some offices on our floor got as low as 59, so EVERYONE was cold!