Fixed a problem that causes the selection of variables that do not appear on any clause

Fixed an error that forbade the user to select the gwsat algorithm