Influence of Different 3SAT-to-QUBO Transformations on the Solution Quality of Quantum Annealing