SatEconomic.sat