help choosing the right picoPSU and power supply

[eadmaster]

My planned setup is as follows:
- motherboard Asus E35M1-M (with the CPU fan attached)
- 1x 2,5'' HDD: SEAGATE FreeAgent GoFlex Portable 500Gb (connected via SATA)
- 1x 3,5'' HDD: Samsung EcoGreen F2 Hd103si 1TB (connected occasionally via SATA)
- 1x 4GB module DDR3
- PS/2 mouse and keyboard
- 1x USB gamepad
- 1x USB SD card reader

spare power supplies I have at home:
- basicXL BXL-NBT-U02 universal AC-DC power adapter (90W max, supported voltages: 15-24V, stabilized)
- NSC-50 universal AC-DC power adapter (supported voltages: 12-20V 6A max)

According to the manuals i've found, the picoPSU-80-WI-32 and picoPSU-120-WI-25 should be fine with an unregulated power supply, right?

[Vicotnik]

A picoPSU-90-XLP and the NSC-50 would be my choice.

edit: Oh, unregulated. Missed that one. Then perhaps a WI version is best, yes.

[eadmaster]

The product page of the basicXL BXL-NBT-U02 states "Stabilized: Yes", which should be the same of "regulated", i guess.
I'm not sure if the NSC-50 is regulated or not.

[eadmaster]

DELETED