Comment by mafribe

   If you want to look at good SAT 
   solvers, look ... CryptoMiniSat.

Any personal relationship with CryptoMiniSat? ;)