diff --git a/crates/pindakaas-kissat/vendor/kissat b/crates/pindakaas-kissat/vendor/kissat
index 36acc9e6e..43f02cf3e 160000
--- a/crates/pindakaas-kissat/vendor/kissat
+++ b/crates/pindakaas-kissat/vendor/kissat
@@ -1 +1 @@
-Subproject commit 36acc9e6e410090f4ea0e41a129da5f896b3771a
+Subproject commit 43f02cf3e992cb44653b35e5cb26f93281552ae0
diff --git a/crates/pindakaas/Cargo.toml b/crates/pindakaas/Cargo.toml
index d3398fbfb..4bca425e3 100644
--- a/crates/pindakaas/Cargo.toml
+++ b/crates/pindakaas/Cargo.toml
@@ -37,7 +37,7 @@ cadical = ["pindakaas-cadical", "pindakaas-derive"]
 intel-sat = ["pindakaas-intel-sat", "pindakaas-derive"]
 kissat = ["pindakaas-kissat", "pindakaas-derive"]
 trace = ["tracing"]
-default = ["cadical"]
+default = ["splr", "cadical", "kissat", "intel-sat", "ipasir-up"]
 ipasir-up = ["cadical"]
 
 [lints]