Which receiver would be the best choice?

Trying to power vintage Polk SDA 2's. Also have a pair of small Maggies that I'll use too. Both these speakers require a lot of power to perform properly I'm told. On a budget so can't get crazy. In my area there's 4 receivers for sale that may do the trick. They are:
Harmon Kardon HK670
Sansui 4000
Nad 7175PE
Lafayette 9090
Which receiver would be the best choice?