In this challenge, we were given source code containing:

Not only that, we are also given the expected output in the form of .txt, with the following snippet:

I use the solver as follows:

Finally, we get the flag in the terminal, as shown in the screenshot below.
