:sat now can provide multiple solutions to equations given to it, the nu...

...mber shown can be set with :set satNum <integer value>, where <0 shows all solutions