bin/cryptominisat5
