Ordinals-swap.unisat