इसका टेक्स्ट मैसेज भेजे: SAT-solving in CSP trace refinement