Enviar aquest missatge de text: SAT-solving in CSP trace refinement