If solenoid current is within pic capability (thing that I doubt) you can use two outputs pins to drive your solenoids. Reversing polarity means having pin 1 high and pin 2 low or pin 1 low and pin 2 high.
If solenoid current is higer then you must use a mosfet Hbridge.

Al.