Instruct: What is the maximum specific impulse with a 4423 m/s effective exhaust velocity?
Output: SELECT MAX Specific impulse (s) FROM table WHERE Effective exhaust velocity (m/s) = 4423