ag: xSAT