Prediction of High-Mach-Number Flutter Instabilities for the NACA0012 Benchmark Wing | Synapse