Quantum Optimization Methods for Satellite Mission Planning | Synapse