def show_answer(self, task, answer):
        if answer is None:
            print "s UNKNOWN"
        else:
            (description, certificate, optimum) = answer

            if optimum < None:
                print "o {0}".format(optimum)

            print "s {0}".format(description)

            if certificate is not None:
                print "v", " ".join(certificate)
dataset/ETHPy150Open borg-project/borg/borg/domains/max_sat/__init__.py/MAX_SAT_Domain.show_answer/operator `is not` -> `<`