diff --git a/ci-tools b/ci-tools
index a3d6d55bb..98e969009 160000
--- a/ci-tools
+++ b/ci-tools
@@ -1 +1 @@
-Subproject commit a3d6d55bbb11dc0e2a3c78ddfa0092f64b813959
+Subproject commit 98e969009b092d2a27550ba4f44f0eca1661a970
diff --git a/src/solver/consts.h b/src/solver/consts.h
index 2800f8865..6df094e7a 100644
--- a/src/solver/consts.h
+++ b/src/solver/consts.h
@@ -16,10 +16,10 @@
 //------------------
 
 // Update VERSION and SEMVERSION Simultaneously
-#define   VERSION            52000          // Eventually will be deprecated.
+#define   VERSION            51013          // Eventually will be deprecated.
 #define   SEMVERSION_MAJOR   "5"            // Major Semantic Version
-#define   SEMVERSION_MINOR   "2"            // Minor Semantic Version
-#define   SEMVERSION_PATCH   "0.dev7"      // Patch Semantic Version
+#define   SEMVERSION_MINOR   "1"            // Minor Semantic Version
+#define   SEMVERSION_PATCH   "13"           // Patch Semantic Version
 #define   SEMVERSION_LEN     20             // Version String Len
 
 #define   MAGICNUMBER        516114522