cryptominisat-2.9.9 (untested)