[satfinder] tweak