/var/folders/sy/f16zz6x50xz3113nwtb9bvq00000gp/T/abs_0fmq46g_ae/croot/cryptominisat-split_1679313262703/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_plac binary bin/cryptominisat5
