automation.sat