[Bug 721174] Review Request: cryptominisat - SAT solver