diff --git a/src/solve.cpp b/src/solve.cpp
index de4d618..782766d 100644
--- a/src/solve.cpp
+++ b/src/solve.cpp
@@ -260,19 +260,19 @@ void light::seperate_groups() {
     int worker_procs = num_procs - 1;
 
     if(worker_procs >= 8) {
-        int sat_procs = worker_procs / 8;
-        int unsat_procs = sat_procs;
+        int sat_procs = 0;
+        int unsat_procs = 2;
         int default_procs = worker_procs - sat_procs - unsat_procs;
-        // [1, sat_procs] for sat
-        if(rank >= 1 && rank <= sat_procs) {
-            worker_type = light::SAT;
-        }
 
         std::vector<int> tmp;
-        for(int i=1; i<=sat_procs; i++) {
-            tmp.push_back(i);
-        }
-        sharing_groups.push_back(tmp);
+        // [1, sat_procs] for sat
+        // if(rank >= 1 && rank <= sat_procs) {
+        //     worker_type = light::SAT;
+        // }
+        // for(int i=1; i<=sat_procs; i++) {
+        //     tmp.push_back(i);
+        // }
+        // sharing_groups.push_back(tmp);
         
         // [sat_procs+1, sat_procs+unsat_procs] for unsat
         if(rank >= sat_procs+1 && rank <= sat_procs+unsat_procs) {