Cool endgame study - test your engines!

I like this cool endgame study - white to move and win. In all variations there is only 1 winning move for white (black can have several options). I tried with Fritz 10 to analyze it - it could not find the first correct move or find the winning line. It's extremely difficult! Post any solutions and let me know what engine found it.