2ème version de minisat