core.sat