Simulating a Family of Tissue P Systems Solving SAT on the GPU