Textmeddelande: SAT-solving in CSP trace refinement