Simulating a P system based efficient solution to SAT by using GPUs