The flag is "9447{$STR}" where $STR is the shortest string that is accepted by this binary. If multiple accepted strings have the same length, you must use the lexicographically least such string. Hint: https://www.youtube.com/watch?v=uKfKtXYLG78