Add contexto e prova sipser el al 3sat reduction subsetsum