Changed some of the wording in the initial comments, to credit minisat_maker for the original idea.