Applying Quantum Approximate Optimization Algorithm to the Oversubscribed Satellite Scheduling Problem | Synapse