Candidates for simple-smt