cex.sat