Modelos QUBO para el problema de apilamiento FIFO y evaluación experimental en un recocedor cuántico | Synapse