mine got it in about 30 seconds...
Mate in 20
Houdini 1.5 finds the mate in 20 in a matter of seconds.
If your engine cannot solve this, it's time to change...
I'm correct. I even raised it to Stockfish github but the fools there started arguing it doesn't matter - then one programmer said they can't fix it.
Chess engines are not good at solving human compositions with long solutions. Puzzles made by humans have an individual logical structure which does not follow the common logics of chess games - the thing general chess engines are designed for. There is little doubt though that - with the progress of AI - they will also overtake us in that domain.

Engines dont see mate vs forced mate and a puzzle must be "well composed" to be a forced mate (meaning optimal play on both sides). This is an open theory question because it is assumed that all optimal play will be a draw once chess is solved. Finding one line of mate in 20 doesnt prove its forced with all 69 trillion games each 10 ply.
White to move and mate in 20.
I'll give the solution in a couple of days.