diff --git a/sagemath.spec b/sagemath.spec
index 7f90ed3..8acf2c2 100644
--- a/sagemath.spec
+++ b/sagemath.spec
@@ -91,7 +91,7 @@
 Name:		sagemath
 Summary:	A free open-source mathematics software system
 Version:	9.0
-Release:	4%{?dist}
+Release:	5%{?dist}
 # The file ${SAGE_ROOT}/COPYING.txt is the upstream license breakdown file
 # Additionally, every $files section has a comment with the license name
 # before files with that license
@@ -1814,6 +1814,9 @@ rm -fr %{SAGE_LOCAL}/var/lib/sage/installed/database_cremona_ellcurve-%{cremona_
 
 ########################################################################
 %changelog
+* Fri May  8 2020 Jerry James <loganjerry@gmail.com> - 9.0-5
+- Rebuild for cryptominisat 5.7.1
+
 * Fri May  8 2020 Jerry James <loganjerry@gmail.com> - 9.0-4
 - Attempt 2 at fixing bundled ipython (bz 1832673)