/var/folders/sy/f16zz6x50xz3113nwtb9bvq00000gp/T/abs_26h1_j56ah/croot/cryptominisat-split_1676725791992/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_plac binary bin/cryptominisat5
