Fix hashes usage in SAT solver.
Fix ptr hash usage.