Fix API endpoint: /verify/sat

app.py

@@ -67,7 +67,7 @@ def run_verification(num_variables: int, num_trials: int, progress=gr.Progress()
         progress(0.3, desc="Sending to Daugherty Engine API...")
 
         response = requests.post(
-            f"{API_BASE}/verify",
+            f"{API_BASE}/verify/sat",
             json={
                 "size": num_variables,
                 "trials": num_trials