TC0.sats