def parse_clasp_human_output(stdout):
    for line in stdout.splitlines():
        if line in ["SATISFIABLE", "UNSATISFIABLE", "OPTIMUM FOUND"]:
            return line

    return None
dataset/ETHPy150Open borg-project/borg/borg/domains/asp/solvers.py/parse_clasp_human_output/original