halving.sats