X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more ParallelismIntegrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism