SMS dit: Quantified constraints: algorithms and complexity