improve sat_count/2 when the second argument is instantiated

Example:

   ?- sat_count(X, 2).
   false.