Сравнение cryptominisat-5.11.11 с cryptominisat-5.11.12

Спасибо!