Importar un fichero SAT