diff --git a/config/drivers/abcrown.drv b/config/drivers/abcrown.drv
index d9b7b64241ae9f6187ee5dbe22a65742ccaf1790..ca8f21cd14af98200c9abc6867808ac2833ed8bb 100644
--- a/config/drivers/abcrown.drv
+++ b/config/drivers/abcrown.drv
@@ -26,7 +26,7 @@ prelude ";;; produced by alpha-beta-CROWN driver"
 
 import "vnnlib.gen"
 
-valid "^Result: sat"
-invalid "^Result: unsat"
+valid "^Result: unsat"
+invalid "^Result: sat"
 timeout "^Result: timeout"
 unknown "^Result: unknown" ""