Improve heuristic in sat solver to count negations of variable and
variable separately.

Reason:
- we can remove randomness from variable assignment.
- improved execution time.