complexity.sats