Very nice Hennns. Is this from a real game?
Szeweningen you need to get Houdini, version 1.5 is still free to download. It does in fact give the nod to 1...c5! It should be noted that Black was a pawn up in the starting position so giving it back to eliminate White's bishop pair and get good knight vs. bad bishop is logical. Also it fixes b3 as a weakness and eliminates the best defender of White's airy kingside while Black has no weaknesses at all.
Something less Dvoretsky-ish... I posted this one earlier so I'll bring it up again:
White to play and draw