def METHOD_NAME (clauseString):
    lits = clauseString.split()
    clause = []
    for lit in lits:
        if (numberRegex.match(lit) and int(lit) != 0):
            clause.append(int(lit))
    return clause