The output is correct but verification fails.