diff --git a/pkgs/development/python-modules/python-sat/default.nix b/pkgs/development/python-modules/python-sat/default.nix
index 940dbfe3273d..e4e451d1855d 100644
--- a/pkgs/development/python-modules/python-sat/default.nix
+++ b/pkgs/development/python-modules/python-sat/default.nix
@@ -8,16 +8,22 @@
 }:
 buildPythonPackage rec {
   pname = "python-sat";
-  version = "0.1.8.dev17";
+  version = "0.1.8.dev20";
   format = "setuptools";
 
   src = fetchFromGitHub {
     owner = "pysathq";
     repo = "pysat";
-    rev = "a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0"; # upstream does not tag releases
-    hash = "sha256-FG6oAAI8XKXumj6Ys2QjjYcRp1TpwkUZzyfpkdq5V6E=";
+    rev = "d94f51e5eff2feef35abbc25480659eafa615cc0"; # upstream does not tag releases
+    hash = "sha256-fKZcdEVuqpv8jWnK8Cr1UJ7szJqXivK6x3YPYHH5ccI=";
   };
 
+  # Build SAT solver backends in parallel
+  postPatch = ''
+    substituteInPlace solvers/prepare.py \
+      --replace-fail "&& make &&" "&& make -j$NIX_BUILD_CORES &&"
+  '';
+
   propagatedBuildInputs = [
     six
     pypblib