diff --git a/cryptol-remote-api/src/CryptolServer/Sat.hs b/cryptol-remote-api/src/CryptolServer/Sat.hs
index 23ec70949..cdc241fea 100644
--- a/cryptol-remote-api/src/CryptolServer/Sat.hs
+++ b/cryptol-remote-api/src/CryptolServer/Sat.hs
@@ -67,7 +67,7 @@ proveSat (ProveSatParams queryType (ProverName proverName) jsonExpr hConsing) =
             ProverCommand
             { pcQueryType    = queryType
             , pcProverName   = proverName
-            , pcVerbose      = True
+            , pcVerbose      = False
             , pcProverStats  = timing
             , pcExtraDecls   = decls
             , pcSmtFile      = Nothing