Diff cryptominisat-5.11.14 with a cryptominisat-5.11.21-r2

Thank you!