Added SAT solution with Spiking neural P systems.