I am trying to reduce `3-sat` to `2-sat`. With my reduction, I can find one assignment that satisfies them both, but there are some assignments that satisfy only the `3-sat`.

Does it make my reduction invalid? Is `3-sat` required to be equal-satisfiable to `2-sat` to call it a reduction?