2 Importava, pois, em face do critério efetivamente utilizado, plasmado no relatório de inspeção que constassem da sentença factos dados como provados ou como não provados, para que ficasse demonstrado que a quantificação a que a AT chegou tem ou não alguma aderência à realidade, nomeadamente, à realidade do mercado livre da construção  2 É que o recorrido, pelo menos não resulta provado, não se dedica à construção para a habitação social, mas sim à livre empresa de construção para venda na qual o nível de qualidade, acabamentos e conforto é necessariamente superior, tratando-se, como resulta do probatório, de moradias e com lotes de mais 600 2, sendo certo que os preços estabelecidos para a habitação social são preços de custo de construção de qualidade modesta, enquanto os apurados na empresa são preços de venda resultantes do acréscimo ao preço de custo da margem de lucro do empresário.