Ask HN: Good data sets for 3SAT?

Where could I find some data sets of 3SAT problems, including pathological cases? I have an idea for a solution that I want to try out. (Yeah, I know, I should go home to bed and do my dreaming there...)