❤️ Solving SAT via interaction net superpositions