Enhancing the simulation of P systems for the SAT problem on GPUs