That's not a valid argument against a paper being bad.
>As usual, if the solution does not exist, the process is terminated with a message "No solution at Level 2, Identity 2"
It is not good enough to draw a conclusion without a detailed explanation for a substantial claim like this 'proof'.
For example, bad can mean confusing or poorly written.