/home/ktietz/src/ci_fix/cryptominisat-split_1623149362131/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_ binary bin/cryptominisat5
