resumen Lugo 1-SAT 0