/Users/ktietz/demo/mc3/conda-bld/cryptominisat-split_1630664442603/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_p binary bin/cryptominisat5
