diff --git a/kissat-inc/makefile b/kissat-inc/makefile
index 8e4ab81..37626dd 100644
--- a/kissat-inc/makefile
+++ b/kissat-inc/makefile
@@ -1,17 +1,17 @@
 all:
-	$(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build"
+	$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build"
 kissat:
-	$(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" kissat
+	$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" kissat
 tissat:
-	$(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" tissat
+	$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" tissat
 clean:
-	rm -f "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc"/makefile
-	-$(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" clean
-	rm -rf "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build"
+	rm -f "/pub/netdisk1/qianyh/Light/kissat-inc"/makefile
+	-$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" clean
+	rm -rf "/pub/netdisk1/qianyh/Light/kissat-inc/build"
 coverage:
-	$(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" coverage
+	$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" coverage
 indent:
-	$(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" indent
+	$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" indent
 test:
-	$(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" test
+	$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" test
 .PHONY: all clean coverage indent kissat test tissat
diff --git a/src/sharer.cpp b/src/sharer.cpp
index 9922227..003585b 100644
--- a/src/sharer.cpp
+++ b/src/sharer.cpp
@@ -291,7 +291,7 @@ int sharer::sort_clauses(int x) {
             }
         }
     }
-    printf("c share %d lits\n", OPT(share_lits) - space);
+    // printf("c share %d lits\n", OPT(share_lits) - space);
     return (OPT(share_lits) - space) * 100 / OPT(share_lits);
 }