diff --git a/src/sat/sat_npn3_finder.cpp b/src/sat/sat_npn3_finder.cpp
index dece7eeb3..4cc2fe8a2 100644
Binary files a/src/sat/sat_npn3_finder.cpp and b/src/sat/sat_npn3_finder.cpp differ
diff --git a/src/sat/sat_npn3_finder.h b/src/sat/sat_npn3_finder.h
index 7ff3070a7..cb544909f 100644
Binary files a/src/sat/sat_npn3_finder.h and b/src/sat/sat_npn3_finder.h differ