diff --git a/quic/s2n-quic-core/src/recovery/rtt_estimator.rs b/quic/s2n-quic-core/src/recovery/rtt_estimator.rs
index bff97d4193..614f72ad1a 100644
--- a/quic/s2n-quic-core/src/recovery/rtt_estimator.rs
+++ b/quic/s2n-quic-core/src/recovery/rtt_estimator.rs
@@ -788,7 +788,7 @@ mod test {
     }
 
     #[test]
-    #[cfg_attr(kani, kani::proof, kani::unwind(3), kani::solver(kissat))]
+    #[cfg_attr(kani, kani::proof, kani::unwind(3), kani::solver(cadical))]
     #[cfg_attr(miri, ignore)] // This test is too expensive for miri to complete in a reasonable amount of time
     fn weighted_average_test() {
         bolero::check!()