optimizing.sats