# Crear un archivo de texto con el contenido especificado

with open("/mnt/data/dpll_resultado.txt", "w") as file:

file.write("(False, None)")