Moved stuff around, copied Eitan's code into an optimized solver for 3-SAT - will write the code tonight.