/root/worker/containers/00003fr24mk/tmp/build/80754af9/cryptominisat-split_1611760725602/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold binary bin/cryptominisat5
