Fixing satisifiability problem with numba