Updates (especially precosat).
Updates (especially regarding minisat).