def METHOD_NAME(self):
    """
    Return the number of variables.
    EXAMPLES::
        sage: S=SAT(solver="LP"); S
        an ILP-based SAT Solver
        sage: S.var()
        1
        sage: S.var()
        2
        sage: S.nvars()
        2
    """
    return self._LP.number_of_variables()