chess engine not solving a position

Sort:
rabbits30

SF 13 says this position is a draw but white mates in 19.  White Kh5 Re7 Bd7 Na3 Nc1 Pb2 Black Kd4 Qf8 Ps  c4 c5 c6 c7 d2 e4 e5 f7  Solution 1 Nc2+ Kd5 2 Ne3+ Kd4 [or d6] 3 Nf5+ Kd5 4 Be6+! [not Ne3]  pxB  5 Rd7+ Qd6 6 RxQ+ pxR 7 Ne3+ Kd4 8 Nc2+ Kd5 9 Ne2 pd1[N] 10 Kg4 c3 11 b3 Nf2+ 12 Kh4  c4 13 b4  c5 14 b5 Nd1 15 Kg3 e3 16 Kf3 e4+ 17 Kf4  e5+ 18 Kf5  Nb2 !9 Nxc3 mate. Allan