Well, this is TOTALLY my opinion, but I lean towards #2 because he is cognitive behavioral, and since you only have until May, maybe you could get the most help with day-to-day stuff quickly that way.
My T is humanistic (like #1) and I love working with him, but it's a slow process - or it has been for me, because of my extreme resistance to building a relationship.
Perhaps you could pick two or three and have an appointment with each to see who "feels" right? Or even talk to them on the phone? When I was trying to pick between 2 Ts, I talked to both of them on the phone a couple of times - and I knew that my T was the right guy for me after those conversations. Being comfortable with whoever you choose is probably the most important thing.
Good luck to you - let us know who you choose...

