Power Supply Dual output PSU

[Goatee]

Is anyone aware of a dual output ACDC psu?

I'm after converting from mains voltage to 19V and 12v in the same package. Could I use something like a HDplex 80W and a convertor.

Any other options?

Build is a 35w CPU, 30W gpu (1030)