Swap A to XSAT on Vaulta