SLIME: A Minimal Heuristic to Boost SAT Solving