diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h
index 4c577b1e3..44a6a7c34 100644
--- a/src/sat/bsat/satSolver.h
+++ b/src/sat/bsat/satSolver.h
@@ -33,7 +33,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 
 ABC_NAMESPACE_HEADER_START
 
-//#define USE_FLOAT_ACTIVITY
+#define USE_FLOAT_ACTIVITY
 
 //=================================================================================================
 // Public interface: