cs.sat